pull/221/head
ggrieco-tob 5 years ago
parent 75d4a179c2
commit e0c934e2bf
  1. 2
      lib/Echidna/Test.hs

@ -36,7 +36,7 @@ data CallRes = ResFalse | ResTrue | ResRevert | ResOther deriving (Eq, Show)
classifyRes :: VMResult -> CallRes
classifyRes (VMSuccess b) | b == encodeAbiValue (AbiBool True) = ResTrue
| b == encodeAbiValue (AbiBool False) = ResFalse
| otherwise = error "invalid result"
| otherwise = ResOther
classifyRes Reversion = ResRevert
classifyRes _ = ResOther

Loading…
Cancel
Save