40nm omega counter: switch design to use a timing constraint.
[fleet.git] / tests / dock / predicate-olc-equals-zero.fleet
1 #expect 5
2 #expect 5
3 #expect 5
4 #expect 4
5
6 #ship debug : Debug
7
8 debug.in:
9   set word=5;
10   set flags a=0, b=0;
11   set olc=3;
12   head;
13   [d] set word=4;
14   [d] deliver;
15   deliver;
16   set olc--;
17   [d] abort;
18   tail;
19