Skip to content
Snippets Groups Projects

Robo swarm

Merged li213 requested to merge robo_swarm into main
2 files
+ 21
40
Compare changes
  • Side-by-side
  • Inline
Files
2
@@ -61,8 +61,11 @@ if 'p' in arg:
def run(sim, meas=False):
time = timeit.default_timer()
if sim:
scenario.simulator.cache_hits = (0, 0)
traces = scenario.simulate(60, 0.1)
else:
scenario.verifier.tube_cache_hits = (0,0)
scenario.verifier.trans_cache_hits = (0,0)
traces = scenario.verify(60, 0.1)
if 'd' in arg:
Loading