Adds tests into dune build system

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

https://abella-prover.org/

GNU General Public License v3.0

89 stars 18 forks source link

Closed cjohnson19 closed 2 years ago

cjohnson19 commented 2 years ago

Reorganizes the build structure in src/dune so that we can access the src files in other places via a library.
Adds new testing rule for test/ directory that depend on the src library.
Removes the test/ext/ directory and redefines the one function used that's not in oUnit's base.
Updates Makefile with new testing command for dune.

chaudhuri commented 2 years ago

Seems good. Thanks!