summaryrefslogtreecommitdiff
path: root/Test/aitest9
ModeNameSize
-rw-r--r--TestIntervals.bpl1521logplain
-rw-r--r--TestIntervals.bpl.expect805logplain
-rw-r--r--VarMapFixpoint.bpl1046logplain
-rw-r--r--VarMapFixpoint.bpl.expect286logplain