A comment

AsgerHB · May 23, 2023 · 87cb721 · 87cb721
1 parent 0e61f6f
commit 87cb721
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/fig-OPShieldingResultsGroup/All Queries.py b/fig-OPShieldingResultsGroup/All Queries.py
@@ -66,6 +66,7 @@ def run_experiment(experiment, model, runs, iteration):
     os.system(f"mkdir -p '{savedir}'")
 
     # Command to run UPPAAL verifier
+    # Note that the queries to be executed are saved directly in the model (xml) files.
     command = f"{uppaaldir}/bin/verifyta -s --epsilon 0.001 --max-iterations 1 --good-runs {runs} --total-runs {runs} --runs-pr-state {runs} '{abspath_model}'"
 
     progress_update(f"Running: {command}")