source: tests/.expect/forall.txt@ 88bb0b4

stuck-waitfor-destruct
Last change on this file since 88bb0b4 was 35d1de5, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago

change test forall.cfa from compilation only to execution
  • Property mode set to 100644
File size: 97 bytes
RevLine 
[35d1de5]11
2f
397
4f
5g
6f
7f
8g
9fT
10fT
11fT
12fTU
13fTU
14fTU
151 2
162 1
171, 2
18@ 0 2 0 4 6.4 6.4 6.4 6.4+3.i 4
193. 3.
2045
2112 3
Note: See TracBrowser for help on using the repository browser.