summaryrefslogtreecommitdiff
path: root/Test/irondafny0
ModeNameSize
-rw-r--r--FIFO.dfy911logplain
-rw-r--r--FIFO.dfy.expect115logplain
-rw-r--r--LIFO.dfy911logplain
-rw-r--r--LIFO.dfy.expect115logplain
-rw-r--r--Queue.dfyi457logplain
-rw-r--r--inheritreqs0.dfy426logplain
-rw-r--r--inheritreqs0.dfy.expect276logplain
-rw-r--r--inheritreqs1.dfy425logplain
-rw-r--r--inheritreqs1.dfy.expect271logplain
-rw-r--r--opened_workaround.dfy348logplain
-rw-r--r--opened_workaround.dfy.expect126logplain
-rw-r--r--optimize0.dfy162logplain
-rw-r--r--optimize0.dfy.expect112logplain
-rw-r--r--xrefine0.dfy255logplain
-rw-r--r--xrefine0.dfy.expect146logplain
-rw-r--r--xrefine1.dfy1550logplain
-rw-r--r--xrefine1.dfy.expect274logplain
-rw-r--r--xrefine2.dfy1550logplain
-rw-r--r--xrefine2.dfy.expect184logplain
-rw-r--r--xrefine3.dfy1471logplain
-rw-r--r--xrefine3.dfy.expect115logplain