blob: 6fffd8151c37c94fa4dd238a01de2d3cc8b28e86 (
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
|
-------------------- AssumeStmt0 --------------------
Compilation error: an assume statement cannot be compiled (line 3)
-------------------- AssumeStmt1 --------------------
Compilation error: an assume statement cannot be compiled (line 3)
-------------------- AssertStmt0 --------------------
Compiled assembly into AssertStmt0.exe
-------------------- AssertStmt1 --------------------
Compiled assembly into AssertStmt1.exe
-------------------- Precondition0 --------------------
Compiled assembly into Precondition0.exe
-------------------- Precondition1 --------------------
Compiled assembly into Precondition1.exe
-------------------- Postcondition0 --------------------
Compiled assembly into Postcondition0.exe
-------------------- Postcondition1 --------------------
Compiled assembly into Postcondition1.exe
|
