Permalink
Browse files

Activate two more tests; thanks to Ingo Struck

  • Loading branch information...
1 parent 5f0d74c commit f7fa99e37c8df155288e639525ab7373e4a19d1a @kostis kostis committed Aug 25, 2013
Showing with 3 additions and 2 deletions.
  1. +1 −0 THANKS
  2. +2 −2 test/proper_tests.erl
View
1 THANKS
@@ -11,6 +11,7 @@ pull requests that have been incorporated in PropEr's code base:
8. Dave Cottlehuber
9. Fredrik Linder
10. Jeff Hlywa
+ 11. Ingo Struck
We sincerely thank them for making PropEr a better tool.
View
@@ -1053,11 +1053,11 @@ run_init_error_test_() ->
setup_run_commands(Mod, Cmds, Env))
|| {Mod,Cmds,Env,_Shrunk} <- symbolic_init_invalid_sequences()].
-run_postcondition_false() ->
+run_postcondition_false_test() ->
?_assertMatch({_H,_S,{postcondition,false}},
run_commands(post_false, proper_statem:commands(post_false))).
-run_exception() ->
+run_exception_test() ->
?_assertMatch(
{_H,_S,{exception,throw,badarg,_}},
run_commands(post_false, proper_statem:commands(error_statem))).

0 comments on commit f7fa99e

Please sign in to comment.