tree 46a5a9d5e6a393840f1ec745a66aeca7f71f8142
parent c37c863d9727d0beef21ba3b32b2a7b366c4395d
author Mariana Meireles <marian.meireles@gmail.com> 1521471147 -0300
committer jgraham <james@hoppipolla.co.uk> 1521471147 +0000

Allow passing stability options through command line (Fixes #9877) (#9945)

repeat_loop = --verify-repeat-loop
repeat_restart = --verify-repeat-restart
(disable) chaos_mode = --verify-no-chaos-mode
max_time = --verify-max-time
(disable) output_results = --verify-no-output-results