Commit ac6f19e8 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Increase speed of random simulation

parent 4b0f6e3e
......@@ -704,7 +704,8 @@ class sdlHandler(QObject):
self.click_tc(random_tc, arg)
QTimer().singleShot(1000, self.random_step)
# Send a message every 100 ms.. Should be configurable
QTimer().singleShot(100, self.random_step)
def exhaustive_simulation(self):
''' Model checker - try all combinations of all inputs in all
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment