summaryrefslogtreecommitdiff
path: root/Test
ModeNameSize
-rw-r--r--Makefile376logplain
d---------VSComp2010320logplain
d---------VSI-Benchmarks345logplain
-rw-r--r--alltests.txt539logplain
d---------dafny02920logplain
d---------dafny11230logplain
d---------dafny2902logplain
d---------dafny3671logplain
-rw-r--r--runtest.bat979logplain
-rw-r--r--runtestall.bat499logplain
d---------vacid0251logplain
d---------vstte2012334logplain