Skip to content

Commit

Permalink
Avoid --verbose for expect test
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 22, 2023
1 parent c6e4f2d commit 4e8b77b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion test/dune
Original file line number Diff line number Diff line change
Expand Up @@ -91,7 +91,7 @@
(package qcheck-stm)
(libraries qcheck-stm.sequential threads.posix)
(action
(with-accepted-exit-codes 1 (run ./%{test} --verbose --seed 229109553))))
(with-accepted-exit-codes 1 (run ./%{test} --seed 229109553))))

(test
(name stm_next_state_exc)
Expand Down

0 comments on commit 4e8b77b

Please sign in to comment.