Skip to content

Commit 795d317

Browse files
committed
Fix erroneous number of testcases run
1 parent bcada3d commit 795d317

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

pages_src/Tutorials/2#PropEr_testing_of_generic_servers.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -848,8 +848,8 @@ to collect statistics about how often each command was executed.
848848
If we run the test now:
849849

850850
:::erl
851-
41> proper:quickcheck(movie_statem:prop_server_works_fine(), 1000).
852-
<...1000 dots....>
851+
41> proper:quickcheck(movie_statem:prop_server_works_fine(), 3000).
852+
<...3000 dots....>
853853
OK: Passed 3000 test(s).
854854

855855
30% {movie_server,ask_for_popcorn,0}

0 commit comments

Comments
 (0)