diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-31 03:31:08 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2021-03-31 03:32:27 +0900 |
| commit | 09234dc12f39b5c0619593420c7c4185efcd7e71 (patch) | |
| tree | 205b542bce331ccf315e5d43bd96d300acf2d961 /Makefile.am | |
| parent | 11fed6d9d3719fc6fbb1b631d3da8d4d90e5c49d (diff) | |
Add acl2 parser test.
* tests/test-parse-acl2.scm: New file.
* Makefile.am (TESTS): Add tests/test-parse-acl2.scm file.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
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 |