blob: 60087e68738e3ceb2923f6e53011e37b25b01436 (
plain)
1
2
3
4
5
6
7
8
|
----- Running regression test ..\dafnyRuntimeChecking (without runtime checking)
..\dafnyRuntimeChecking Succeeded
----- Running regression test ..\VSI-Benchmarks (without runtime checking)
..\VSI-Benchmarks Succeeded
----- Running regression test ..\dafnyRuntimeChecking (with runtime checking)
..\dafnyRuntimeChecking Succeeded
----- Running regression test ..\VSI-Benchmarks (with runtime checking)
..\VSI-Benchmarks Succeeded
|
