anchor.diff:      %% [a,b,c,d,e].
   
   setup(_Num, Seed) ->
  +    ?QC_FMT("\nsetup,", []),
       All_list = all_list(),
       _ = machi_partition_simulator:start_link(Seed, 0, 100),
       _Partitions = machi_partition_simulator:get(All_list),
  
positive.code:     noshrink({choose(1, 10000), choose(1, 10000), choose(1, 10000)}).
  
  gen_old_threshold() ->
      choose(1, 100).
  
  gen_no_partition_threshold() ->
      choose(1, 100).
  
  command(#state{step=0}) ->
      {call, ?MODULE, setup, [gen_num_pids(), gen_seed()]};
  
negative.code:             machi_partition_simulator:reset_thresholds(OldThreshold,
                                                         NoPartitionThreshold);
         true ->
              ?QC_FMT("{e=~w},", [get_biggest_private_epoch_number()]),
              machi_partition_simulator:no_partitions()
      end,
      Res = exec_ticks(Num, Mgr_pids),
      if not is_integer(OldThreshold) ->
              ?QC_FMT("{e=~w},", [get_biggest_private_epoch_number()]);
         true ->
              ok
      end,
      Res.
  
  get_biggest_private_epoch_number() ->
      lists:last(
        lists:usort(
          lists:flatten(
            [machi_flu0:proj_list_all(FLU, private) ||
                FLU <- all_list()]))).
  
  dump_state() ->
  %% try
  