Merge pull request #13 from tuncer/lock_fsm

test/lock_fsm: do not match result of start/1 and stop/0
krestenkrab · Mar 8, 2013 · 787028f · 787028f
2 parents 2693eaf + 7e3f65a
commit 787028f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test/lock_fsm.erl b/test/lock_fsm.erl
@@ -144,9 +144,9 @@ prop_lock_fsm() ->
     ?FORALL(
        Cmds, triq_fsm:commands(?MODULE),
        begin
-           {ok, _} = start(?CODE),
+           start(?CODE),
            {History, State, Result} = triq_fsm:run_commands(?MODULE, Cmds),
-           ok = stop(),
+           stop(),
            ?WHENFAIL(io:format(user,
                                "History: ~p~n"
                                "State: ~p~n"