]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e76ebd0) | patch
Added a couple of tests which MUST fail
authoracondolu <andrea.condoluci@unibo.it>
Fri, 25 May 2018 15:03:18 +0000 (17:03 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:11:36 +0000 (11:11 +0200)
commit1f4a4fb9ab5f503457b0c1403c53ed84fb9031ac
tree15c8177e71da3a3ae2bf24d2121c78d50d934970tree | snapshot
parente76ebd06143e44b57e2da545c2570cf7f7200908commit | diff
Added a couple of tests which MUST fail
ocaml/problems/should_fail [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.