Do not reverse the call sequence

In the demo movie I noticed that the call sequence is shown in reverse.

If you first call set0() to set flag0 false, there is nothing set1() can
change after that.
pull/25/head
Yoichi Hirai 7 years ago
parent 161258465a
commit fa3d846fc1
  1. 2
      lib/Echidna/Exec.hs

@ -93,7 +93,7 @@ ePropertySeq v ts p n = mapConfig (\x -> x {propertyTestLimit = 10000}) . proper
executeSequential (VMState v) =<< forAllWith printCallSeq
(sequential (linear 1 n) (VMState v) [eCommand ts p]) where
printCallSeq = ("Call sequence: " ++) . intercalate "\n " .
map showCall . reverse . sequentialActions
map showCall . sequentialActions
showCall (Action i _ _ _ _ _) = show i ++ ";"
-- Should work, but missing instance MonadBaseControl b m => MonadBaseControl b (PropertyT m)

Loading…
Cancel
Save