anchor.diff:      ok.
   
   %% userdevguide-begin paxos_SUITE:random_interleaving_test
  --spec prop_rnd_interleave(1..4, 4..16, {pos_integer(), pos_integer(), pos_integer()})
  +-spec prop_rnd_interleave(1..4, 4..16)
           -> true.
  -prop_rnd_interleave(NumProposers, NumAcceptors, Seed) ->
  -    ct:pal("Called with: paxos_SUITE:prop_rnd_interleave(~p, ~p, ~p).~n",
  -           [NumProposers, NumAcceptors, Seed]),
  +prop_rnd_interleave(NumProposers, NumAcceptors) ->
  +    ct:pal("Called with: paxos_SUITE:prop_rnd_interleave(~p, ~p).~n",
  +           [NumProposers, NumAcceptors]),
       Majority = NumAcceptors div 2 + 1,
       {Proposers, Acceptors, Learners} =
           make(NumProposers, NumAcceptors, 1, rnd_interleave),
  
positive.code: %  @copyright 2008-2015 Zuse Institute Berlin
  
  %   Licensed under the Apache License, Version 2.0 (the "License");
  %   you may not use this file except in compliance with the License.
  
negative.code: %% userdevguide-end paxos_SUITE:random_interleaving_test
  
  test_rnd_interleave(_Config) ->
      tester:test(paxos_SUITE, prop_rnd_interleave, _Params = 2, _Iter = 100).
  