From fa3d846fc130a67c797b435fdbefe8957cee8927 Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Fri, 16 Mar 2018 17:29:26 +0100 Subject: [PATCH] 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. --- lib/Echidna/Exec.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs index 91d610253..c37d72010 100644 --- a/lib/Echidna/Exec.hs +++ b/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)