summaryrefslogtreecommitdiff
path: root/Test/dafny1/AnswerRuntimeChecking
blob: 1ade5aeb67bc8a9dd6ecdf824357607c66cd4fae (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

-------------------- ListReverse --------------------
Compiled assembly into ListReverse.dll
Rewrote assembly into ListReverse.dll

-------------------- MatrixFun --------------------
Compiled assembly into MatrixFun.exe
Rewrote assembly into MatrixFun.exe

-------------------- pow2 --------------------
Compiled assembly into pow2.dll
Rewrote assembly into pow2.dll

-------------------- Cubes --------------------
Compiled assembly into Cubes.dll
Rewrote assembly into Cubes.dll

-------------------- Substitution --------------------
Compiled assembly into Substitution.dll
Rewrote assembly into Substitution.dll

-------------------- KatzManna --------------------
Compiled assembly into KatzManna.dll
Rewrote assembly into KatzManna.dll

-------------------- Rippling --------------------
Compilation error: Arbitrary type ('FunctionValue') cannot be compiled