Skip to main content

Browse the archive

Revision 9b3bb0557064a04e5b611060070977e2951e0c89 authored by Mariana Meireles on 19 March 2018, 14:52:27 UTC, committed by jgraham on 19 March 2018, 14:52:27 UTC 
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
1 parent c37c863
History
File Mode Size
animation-effects
animations
time-transformations
timelines
back to top