source:
CIVL/examples/slice/stress_test.oracle@
afc300c
| Last change on this file since afc300c was 7423d6c, checked in by , 8 years ago | |
|---|---|
|
|
| File size: 264 bytes | |
| Rev | Line | |
|---|---|---|
| [7423d6c] | 1 | === Sliced PC === |
| 2 | Y0 + 1 <= 0 #Z3# (<= (+ Y0 1) 0) #TYPES# Y0 int | |
| 3 | Y2 + 1 <= 0 #Z3# (<= (+ Y2 1) 0) #TYPES# Y2 int | |
| 4 | Y3 + 1 <= 0 #Z3# (<= (+ Y3 1) 0) #TYPES# Y3 int | |
| 5 | === END === | |
| 6 | === ACF Mapping === | |
| 7 | Y0 x | |
| 8 | Y1 y | |
| 9 | Y2 z | |
| 10 | Y3 z | |
| 11 | === END === | |
| 12 | === Number sliced === | |
| 13 | 1 | |
| 14 | === END === |
Note:
See TracBrowser
for help on using the repository browser.
