We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a3e90d9 commit 657e08cCopy full SHA for 657e08c
resources/code/food_fsm.erl
@@ -255,7 +255,7 @@ prop_doesnt_run_out_of_supplies() ->
255
proper_fsm:run_commands(?MODULE, Cmds),
256
stop(),
257
?WHENFAIL(
258
- io:format("History: ~w~nState: ~w\nResult: ~w~n",
+ io:format("History: ~w~nState: ~w~nResult: ~w~n",
259
[History, State, Result]),
260
aggregate(zip(proper_fsm:state_names(History),
261
command_names(Cmds)),
0 commit comments