From 0d6322c0aa5d7347b5568e2dfa6a1b5f3512c38b Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Wed, 29 May 2019 08:31:04 +0200
Subject: [PATCH] Fix property

---
 quickcheck/aefate_eqc.erl | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/quickcheck/aefate_eqc.erl b/quickcheck/aefate_eqc.erl
index 837b79d..97d2846 100644
--- a/quickcheck/aefate_eqc.erl
+++ b/quickcheck/aefate_eqc.erl
@@ -54,10 +54,11 @@ prop_fuzz() ->
     ?FORALL(Binary, ?LET(FateData, fate_data(), aeb_fate_encoding:serialize(FateData)),
             ?FORALL(InjectedBin, injection(Binary),
                     try Org = aeb_fate_encoding:deserialize(InjectedBin),
-                         NewBin = aeb_fate_coding:serialize(Org),
-                         NewOrg = aeb_fate_coding:deserialize(NewBin),
+                         NewBin = aeb_fate_encoding:serialize(Org),
+                         NewOrg = aeb_fate_encoding:deserialize(NewBin),
+                         measure(success, 1,
                          ?WHENFAIL(eqc:format("Deserialize ~p gives\n~p\nSerializes to ~p\n", [InjectedBin, Org, NewOrg]),
-                                   equals(NewBin, InjectedBin))
+                                   equals(NewBin, InjectedBin)))
                     catch _:_ ->
                             true
                     end))).