diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 02:52:25 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 02:52:25 -0300 |
| commit | f7aa2d28053979f33d90a3c7bdec1ff6daa49b94 (patch) | |
| tree | b87c94b82cf84933ba7ae1be0d70a8c960e267de /test/dune | |
| parent | 59c3b1a20aae2ef9c45e74d454337c07aa43f59e (diff) | |
| download | SOL-f7aa2d28053979f33d90a3c7bdec1ff6daa49b94.tar.gz SOL-f7aa2d28053979f33d90a3c7bdec1ff6daa49b94.zip | |
canonical term algebra: labels, records, rationals, sequences
Diffstat (limited to 'test/dune')
| -rw-r--r-- | test/dune | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..66418bb --- /dev/null +++ b/test/dune @@ -0,0 +1,3 @@ +(test + (name test_term) + (libraries sol zarith alcotest)) |