Reinstall failures.

[jlouis]

Shrinking xxxxxxxxx.xxxx...x.x.x.x...x.xxxxxxxx...xxxxxxxxxxxxxx....xxxxxxxxxxxxxxxxxxxxx(18 times)
[{set,
     {var,1},
     {call,fuse_eqc,install,
         [vanessa,{{standard,1,1},{reset,1}}],
         [{id,3},
          {self,{var,{pid,root}}},
          {res,ok},
          {callouts,
              {seq,
                  [{seq,
                       [{callout,fuse_time,convert_time_unit,
                            [1,milli_seconds,native],
                            1},
                        {return,1}]},
                   {seq,
                       [{internal,fuse_eqc,install_fuse,
                            [vanessa,
                             {vanessa,
                                 {fuse,standard,1,1,ok,undefined,
                                     [{delay,1}],
                                     false}}],
                            [{id,3},{self,{var,{pid,root}}}],
                            empty},
                        {seq,
                            [{internal,fuse_eqc,clear_blown,
                                 [vanessa],
                                 [{id,3},{self,{var,{pid,root}}}],
                                 empty},
                             {seq,
                                 [{internal,fuse_eqc,clear_melts,
                                      [vanessa],
                                      [{id,3},{self,{var,{pid,root}}}],
                                      empty},
                                  {return,ok}]}]}]}]}}]}},
 {set,
     {var,2},
     {call,fuse_eqc,circuit_disable,
         [vanessa],
         [{id,6},
          {self,{var,{pid,root}}},
          {res,ok},
          {callouts,
              {seq,
                  [{internal,fuse_eqc,add_disabled,
                       [vanessa],
                       [{id,6},{self,{var,{pid,root}}}],
                       empty},
                   {seq,
                       [{internal,fuse_eqc,clear_melts,
                            [vanessa],
                            [{id,6},{self,{var,{pid,root}}}],
                            empty},
                        {seq,
                            [{internal,fuse_eqc,clear_blown,
                                 [vanessa],
                                 [{id,6},{self,{var,{pid,root}}}],
                                 empty},
                             {return,ok}]}]}]}}]}},
 {set,
     {var,3},
     {call,fuse_eqc,install,
         [vanessa,{{fault_injection,1.0e-19,1,1},{reset,1}}],
         [{id,21},
          {self,{var,{pid,root}}},
          {res,ok},
          {callouts,
              {seq,
                  [{seq,
                       [{callout,fuse_time,convert_time_unit,
                            [1,milli_seconds,native],
                            1},
                        {return,1}]},
                   {seq,
                       [{internal,fuse_eqc,install_fuse,
                            [vanessa,
                             {vanessa,
                                 {fuse,
                                     {fault_injection,1.0e-19},
                                     1,1,ok,undefined,
                                     [{delay,1}],
                                     false}}],
                            [{id,21},{self,{var,{pid,root}}}],
                            empty},
                        {seq,
                            [{internal,fuse_eqc,clear_blown,
                                 [vanessa],
                                 [{id,21},{self,{var,{pid,root}}}],
                                 empty},
                             {seq,
                                 [{internal,fuse_eqc,clear_melts,
                                      [vanessa],
                                      [{id,21},{self,{var,{pid,root}}}],
                                      empty},
                                  {return,ok}]}]}]}]}}]}},
 {set,
     {var,4},
     {call,fuse_eqc,ask_installed,
         [vanessa],
         [{id,28},
          {self,{var,{pid,root}}},
          {res,ok},
          {callouts,
              {seq,
                  {res,
                      {seq,
                          {res,
                              {val,0.6575722234945981,
                                  {callout,fuse_rand,uniform,[],
                                      0.6575722234945981}},
                              0.6575722234945981},
                          {return,ok}},
                      ok},
                  {return,ok}}}]}}]

S: [{fuse_time_eqc, {state, 0, [], 0}},
    {fuse_eqc, {state, [], []}}]


fuse_eqc:install(vanessa, {{standard, 1, 1}, {reset, 1}}) ->
  1 = fuse_time:convert_time_unit(1, milli_seconds, native),
  ok.

S: [{fuse_time_eqc, {state, 0, [], 0}},
    {fuse_eqc,
       {state, [],
          [{vanessa,
              {fuse, standard, 1, 1, ok, undefined, [{delay, 1}], false}}]}}]


fuse_eqc:circuit_disable(vanessa) -> ok.

S: [{fuse_time_eqc, {state, 0, [], 0}},
    {fuse_eqc,
       {state, [],
          [{vanessa,
              {fuse, standard, 1, 1, ok, undefined, [{delay, 1}], true}}]}}]


fuse_eqc:install(vanessa, {{fault_injection, 1.0e-19, 1, 1}, {reset, 1}}) ->
  1 = fuse_time:convert_time_unit(1, milli_seconds, native),
  ok.

S: [{fuse_time_eqc, {state, 0, [], 0}},
    {fuse_eqc,
       {state, [],
          [{vanessa,
              {fuse, {fault_injection, 1.0e-19}, 1, 1, ok, undefined,
                 [{delay, 1}], false}}]}}]


fuse_eqc:ask_installed(vanessa) -> blown.

S: [{fuse_time_eqc, {state, 0, [], 0}},
    {fuse_eqc,
       {state, [],
          [{vanessa,
              {fuse, {fault_injection, 1.0e-19}, 1, 1, ok, undefined,
                 [{delay, 1}], false}}]}}]


Reason:
  Post-condition failed:
  Failed postcondition: common: blown /= ok
  Callout mismatch: expected: fuse_rand:uniform()