blob: 11e295fc12cda72df2060ef8532230cbd991f342 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
----- Running regression test ..\dafny0 (without runtime checking)
..\dafny0 Succeeded
----- Running regression test ..\dafny1 (without runtime checking)
..\dafny1 Succeeded
----- Running regression test ..\dafny2 (without runtime checking)
..\dafny2 Succeeded
----- Running regression test ..\dafnyRuntimeChecking (without runtime checking)
..\dafnyRuntimeChecking Succeeded
----- Running regression test ..\VSI-Benchmarks (without runtime checking)
..\VSI-Benchmarks Succeeded
----- Running regression test ..\vacid0 (without runtime checking)
..\vacid0 Succeeded
----- Running regression test ..\vstte2012 (without runtime checking)
..\vstte2012 Succeeded
----- Running regression test ..\VSComp2010 (without runtime checking)
..\VSComp2010 Succeeded
----- Running regression test ..\dafny0 (with runtime checking)
..\dafny0 Succeeded
----- Running regression test ..\dafny1 (with runtime checking)
..\dafny1 Succeeded
----- Running regression test ..\dafny2 (with runtime checking)
..\dafny2 Succeeded
----- Running regression test ..\dafnyRuntimeChecking (with runtime checking)
..\dafnyRuntimeChecking Succeeded
----- Running regression test ..\VSI-Benchmarks (with runtime checking)
..\VSI-Benchmarks Succeeded
----- Running regression test ..\vacid0 (with runtime checking)
..\vacid0 Succeeded
----- Running regression test ..\vstte2012 (with runtime checking)
..\vstte2012 Succeeded
----- Running regression test ..\VSComp2010 (with runtime checking)
..\VSComp2010 Succeeded
|
