source: tests/.expect/forall.txt @ d5187a0

ADTast-experimental
Last change on this file since d5187a0 was 35d1de5, checked in by Peter A. Buhr <pabuhr@…>, 21 months ago

change test forall.cfa from compilation only to execution

  • Property mode set to 100644
File size: 97 bytes
Line 
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.