]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ae9ef1) | patch
More randomness in test generation
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jun 2018 17:43:58 +0000 (19:43 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 7 Jun 2018 17:43:58 +0000 (19:43 +0200)
commitade646a9ae308c0ceacbfb82d85eb4552bec77b2
tree769f269dbafb781352b3ac0c6b1997f3f5053b2btree | snapshot
parent7ae9ef188e97896b32bc9c2ec5b805e69d957c39commit | diff
More randomness in test generation
ocaml/simple_test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.