From 09234dc12f39b5c0619593420c7c4185efcd7e71 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Wed, 31 Mar 2021 03:31:08 +0900
Subject: Add acl2 parser test.

* tests/test-parse-acl2.scm: New file.
* Makefile.am (TESTS): Add tests/test-parse-acl2.scm file.
---
 Makefile.am | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile.am')

diff --git a/Makefile.am b/Makefile.am
index 90f7bcd..9d24cb5 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -48,6 +48,7 @@ SOURCES =                            \
   language/acl2/compile-tree-il.scm
 
 TESTS =                        \
+  tests/test-parse-acl2.scm    \
   tests/test-compile-acl2.scm
 
 TEST_EXTENSIONS = .scm
-- 
cgit v1.2.3