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:             machi_partition_simulator:reset_thresholds(OldThreshold,
                                                         NoPartitionThreshold);
         true ->
              machi_partition_simulator:no_partitions()
      end,
      exec_ticks(Num, Mgr_pids).
  
  dump_state() ->
  %% try
  
negative.code:         %% FLU a might need one more tick to write its private projection, but
          %% it isn't given a chance at the end of the PULSE run.  So we cheat
          LastTriggerTicks = {set,{var,99999997},
                              {call, ?MODULE, do_ticks, [25, undefined, no, no]}},
          Cmds1 = lists:duplicate(length(all_list())*2, LastTriggerTicks),
          Cmds = Cmds0 ++
                 Cmds1 ++ [{set,{var,99999999},
                            {call, ?MODULE, dump_state, []}}],
  