anchor.diff:                                              true -> ok;
                                               false ->
                                                   ct:pal("~n~w ~nis not smaller or equals than ~n~w", [Prev, Result]),
  -                                                UnitTestPid ! {compare_failed, Prev, Result}
  +                                                UnitTestPid ! {compare_failed, Prev, Result},
  +                                                ok
                                           end,
                                           NextReader = lists:nth(randoms:rand_uniform(1, length(Pids)+1), Pids),
  -                                        NextReader ! {read, Pids, Result}
  +                                        NextReader ! {read, Pids, Result},
  +                                        ok
                                   end,
                                   F(F)
                               end,
  
positive.code:     [receive {done} ->
          ct:pal("Finished ~p/~p.~n", [Nth, NumberOfWriter]),
          ok
      end || Nth <- lists:seq(1, NumberOfWriter)].
  
  -spec spawn_monotonic_reader(pid(), fun(() -> crdt:crdt()), fun((term(), term()) -> boolean())) -> pid().
  spawn_monotonic_reader(UnitTestPid, ReadFun, LTEQCompareFun) ->
  
negative.code:                     (I) when I div 2 == 0 -> ok = gcounter_on_cseq:inc(Key);
                      (_)                   -> ok = gcounter_on_cseq:inc_eventual(Key)
                 end,
      _ = spawn_writers(UnitTestPid, Parallel, Count, WriteFun),
      wait_writers_completion(Parallel),
  
      %% kill reader
  