feat(yaml): adapt yaml config with new sea-crab options

seahorn · May 10, 2022 · fdcba9d · fdcba9d
1 parent fee0b78
commit fdcba9d
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/seahorn/sea_crab_base.yaml b/seahorn/sea_crab_base.yaml
@@ -5,5 +5,12 @@ verify_options:
   horn-vcgen-only-dataflow: false
 # reduce by data dependence
   horn-bmc-coi: false
-  horn-bv2-crab-lower-is-deref: ''
+# Use crab solve sea.is_deref
+  horn-bv2-crab-check-is-deref: ''
+# reduce used by object domain
+  horn-bv2-crab-reduce: ''
+# Use crab infer allocation range
+  # horn-bv2-crab-rng: ''
   horn-bmc-crab-dom: 'zones'
+# Statistics
+  # horn-bv2-crab-stats: ''