diff options
| author | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:32:02 +0200 |
|---|---|---|
| committer | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:32:02 +0200 |
| commit | 870e1cc1ea14fe43ae50e47828ac760e760ad93a (patch) | |
| tree | c104575c2cfaf1a8c2990a7223ebf10bed4a7a4f /test | |
| parent | 2ad36ac2079cc9be06d080d63204bc194375cf02 (diff) | |
| download | chadprover-870e1cc1ea14fe43ae50e47828ac760e760ad93a.tar.gz chadprover-870e1cc1ea14fe43ae50e47828ac760e760ad93a.tar.bz2 chadprover-870e1cc1ea14fe43ae50e47828ac760e760ad93a.zip | |
did a bunch of stuff
Diffstat (limited to 'test')
| -rw-r--r-- | test/dune | 2 | ||||
| -rw-r--r-- | test/test_chadprover.ml | 0 |
2 files changed, 2 insertions, 0 deletions
diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..96dc350 --- /dev/null +++ b/test/dune @@ -0,0 +1,2 @@ +(test + (name test_chadprover)) diff --git a/test/test_chadprover.ml b/test/test_chadprover.ml new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/test/test_chadprover.ml |