Merge pull request #25 from pirapira/reverse

Do not reverse the call sequence
crytic · Mar 16, 2018 · 83b8fd5 · 83b8fd5
2 parents d6b0cc0 + fa3d846
commit 83b8fd5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)