First passing test case with McErlang, after adding is_infinitely_fas…

…t=true.

Example:

    mce:apply(slf_msgsim_qc, prop_mc_simulate2, [distrib_counter_bad1_sim, [{no_generator, true}], 1, 1, 1, [{c1, {counter_op, [s1]}}], [{c1, [], counter_client1}], [{s1, 0, counter_server1}]], #mce_opts{is_infinitely_fast=true}).

... which gives the output:

    *** Run ending. 15 states explored, stored states 13.

    Execution terminated normally.
    Table has 13 states and 14 transitions.

    Reductions: 0.01 mreds; Runtime: 0.000 seconds; 0.00 elapsed seconds
    Access result using mce:result()
    ok

This is a really small example.  If we reduce the # of ops from 1 -> 0, then
we see:

    *** Run ending. 9 states explored, stored states 9.

    Execution terminated normally.
    Table has 9 states and 8 transitions.

src/distrib_counter_bad1_sim.erl

@@ -280,7 +280,7 @@ e_counter_server_loop(Count) ->
         shutdown ->
             Count
     end.
-                
+
 my_bang(Rcpt, Msg) ->
     %% mce_erl:choice([
     %%                 {fun() -> Rcpt ! Msg end, []},