]> matita.cs.unibo.it Git - fireball-separation.git/commit
Test --with-pac fails if unseparable+uncomplete
authoracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 14:17:53 +0000 (16:17 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 24 Jul 2017 15:22:35 +0000 (17:22 +0200)
commit46f57e51b457e7f1c225eb0467c1b0b286d11af1
treef4083c7318a9d999aae2a1d5ba5e996e9e038ca4
parent6fc1858e757263b4e651f92fa8aaa3ecee1ab626
Test --with-pac fails if unseparable+uncomplete
ocaml/test.ml