Skip to content

Commit

Permalink
disable overflow sample test for now
Browse files Browse the repository at this point in the history
Evaluation errors make the expression evaluate to false for now, instead of blowing up the whole evaluation.
  • Loading branch information
divarvel committed Jul 3, 2024
1 parent 8becaba commit eba3a3f
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions biscuit/test/Spec/SampleReader.hs
Original file line number Diff line number Diff line change
Expand Up @@ -225,6 +225,9 @@ processTestCase step rootPk TestCase{..} =
if fst filename == "test018_unbound_variables_in_rule.bc"
then
step "Skipping for now (unbound variables are now caught before evaluation)"
else if fst filename == "test027_integer_wraparound.bc"
then
step "Skipping for now (evaluation fails silently)"
else do
step "Parsing "
let vList = Map.toList validations
Expand Down

0 comments on commit eba3a3f

Please sign in to comment.