anchor.diff:                 end,
       _ = spawn_writers(UnitTestPid, Parallel, Count, WriteFun),
       wait_writers_completion(Parallel),
  -
  -    %% kill readers
  -    [exit(R, kill) || R <- Readers],
  +    stop_readers(Readers),
  +
       check_monotonic_reader_failure(),
   
       ok.
  
positive.code:         Init = ReadFun(),
          Loop =
              fun(F, Prev) ->
                  V = ReadFun(),
                  case LTEQCompareFun(Prev, V) of
                      true ->
                          F(F, V);
                      false ->
                          ct:pal("~n~w ~nis not smaller or equals than ~n~w", [Prev, V]),
                          UnitTestPid ! {compare_failed, Prev, V},
                          F(F, V)
                  end
              end,
          case TraceId of
  
negative.code:                                         end,
                                          NextReader = lists:nth(randoms:rand_uniform(1, length(Pids)+1), Pids),
                                          NextReader ! {read, Pids, Result},
                                          F(F);
                                      {reader_done} ->
                                          UnitTestPid ! {reader_terminated}
                                  end
                              end,
                          Loop(Loop)
                      end)
  