feat(py): add statistics option for odi map usage

seahorn · Apr 27, 2022 · f4fa7ed · f4fa7ed
1 parent dbb4cfa
commit f4fa7ed
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/get_exper_brunch_stat.py b/scripts/get_exper_brunch_stat.py
@@ -15,7 +15,8 @@
     "crab_time": "crab.time",
     "opsem_assert_time": "opsem.assert",
     "opsem_simplify_time": "opsem.simplify",
-    "seahorn_total_time": "seahorn_total"
+    "seahorn_total_time": "seahorn_total",
+    "move_object": "object_domain_use_odi"
     # ADD additional coloumn and corresponded pattern on outputs here
 }