summaryrefslogtreecommitdiff
path: root/test/regress/regress0/preprocess/preprocess_06.cvc
blob: 3e45c529a7acc82af4e0de2be04976538826b37b (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

% EXPECT: valid

a0, a1, a2, a3, a4, a5: BOOLEAN;

ASSERT (a0 => a1);
ASSERT (a1 => a2);
ASSERT (a2 => a3);
ASSERT (a3 => a4);
ASSERT (a4 => a5);
ASSERT a0;

QUERY (a0 <=> a5);
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback