feat(yaml): adapt for new sea-crab flags

seahorn · Apr 27, 2022 · dbb4cfa · dbb4cfa
1 parent 68e599f
commit dbb4cfa
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/seahorn/sea_crab_base.yaml b/seahorn/sea_crab_base.yaml
@@ -5,6 +5,10 @@ verify_options:
   horn-vcgen-only-dataflow: false
 # reduce by data dependence
   horn-bmc-coi: false
-  horn-bv2-crab-check-is-deref: ''
+# Use crab solve sea.is_deref
+  # horn-bv2-crab-check-is-deref: ''
+# Use crab infer allocation range
+  horn-bv2-crab-rng: ''
   horn-bmc-crab-dom: 'zones'
-  # crab-dom-param: '"region.is_dereferenceable=true:object.reduce_everywhere=true"'
+# Statistics
+  # horn-bv2-crab-stats: ''