Skip to content

Commit ae1b463

Browse files
refactor: failing tests
1 parent 907ca2b commit ae1b463

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

hs/test/Reach/Test_Compiler.hs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -104,6 +104,9 @@ test_examples = goldenTests "../examples" f
104104
[ "./pkg/index.rsh"
105105
, "./pkg/local.rsh"
106106
, "./pkg/index-master.rsh"
107+
, "./point-of-sale/index-balinv.rsh"
108+
, "./point-of-sale/index-mapinv.rsh"
109+
, "./point-of-sale/index-tokinv.rsh"
107110
, "./rps-4-attack/index-bad.rsh"
108111
, "./rps-4-attack/index-fails.rsh"
109112
, "./rps-7-loops/index-balinv.rsh"
@@ -112,6 +115,7 @@ test_examples = goldenTests "../examples" f
112115
, "./rsvp-5-cede/index-fail.rsh"
113116
, "./rsvp-6-vevt/index-balinv.rsh"
114117
, "./rsvp-6-vevt/index-mapinv.rsh"
118+
, "./ticket-sales/index-tokinv.rsh"
115119
]
116120
f fp =
117121
case S.member fp fails of

0 commit comments

Comments
 (0)