From 73c80e116890389e286495465c19a837eefea53d Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Tue, 28 May 2019 19:09:25 +0200
Subject: [PATCH] Extend model to find {stack, N} errors as argument

---
 quickcheck/aefate_code_eqc.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quickcheck/aefate_code_eqc.erl b/quickcheck/aefate_code_eqc.erl
index bbe6427..e230b3d 100644
--- a/quickcheck/aefate_code_eqc.erl
+++ b/quickcheck/aefate_code_eqc.erl
@@ -43,7 +43,7 @@ prop_fail_serializes() ->
                              ?FORALL(FateCode, fate_code(Failure),
                                ?FORALL(Binary, catch aeb_fate_code:serialize(FateCode),
                                          is_binary(aeb_fate_code:serialize(FateCode)))))
-                             =/= true} || Failure <- [1,2,3,4] ]).
+                             =/= true} || Failure <- [1,2,3,4, 5] ]).
 
 prop_fuzz() ->
     in_parallel(