Skip to content

Commit

Permalink
Do not reverse the call sequence
Browse files Browse the repository at this point in the history
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.
  • Loading branch information
pirapira committed Mar 16, 2018
1 parent 1612584 commit fa3d846
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/Echidna/Exec.hs
Expand Up @@ -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)
Expand Down

0 comments on commit fa3d846

Please sign in to comment.