]> matita.cs.unibo.it Git - fireball-separation.git/commit
Added tests with constants
authoracondolu <andrea.condoluci@unibo.it>
Thu, 7 Jun 2018 09:13:09 +0000 (11:13 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Thu, 7 Jun 2018 09:13:09 +0000 (11:13 +0200)
commitf3bb4936d8b5aa478f16bb0e9fefc8b40a9af58d
tree7c69a9b4af85bd4e0737048da3de2ad721fc802b
parent484254ec5f3e94aa86ffdc2bf7c07c46e42be8d7
Added tests with constants

- Enabled with flag --with-const
- Stores failing problems in problems/ folder
ocaml/simple.mli
ocaml/simple_test.ml