]> matita.cs.unibo.it Git - helm.git/commit
CicEnvironment is emptied when a size treshold is reached.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Apr 2006 10:02:32 +0000 (10:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Apr 2006 10:02:32 +0000 (10:02 +0000)
commit104b96bb1581a376c2261b18384e3a26373c965c
treef3c4a3306c3920f5f1ec5f9721d3cae33d3a6cf6
parentd811085efd81ce196a2d6cfee54ce1eb7a076a22
CicEnvironment is emptied when a size treshold is reached.
helm/software/components/binaries/utilities/test_library.ml