Update btor options

Signed-off-by: Matthew Ballance <matt.ballance@gmail.com>

Author: mballance

src/vsc/model/randomizer.py

@@ -141,8 +141,8 @@ def randomize(self, ri : RandInfo, bound_m : Dict[FieldModel,VariableBoundModel]
         while rs_i < len(ri.randsets()):
             btor = Boolector()
             self.btor = btor
-            btor.Set_opt(pyboolector.BTOR_OPT_INCREMENTAL, True)
-            btor.Set_opt(pyboolector.BTOR_OPT_MODEL_GEN, True)
+            btor.Set_opt(pyboolector.BtorOption.BTOR_OPT_INCREMENTAL, True)
+            btor.Set_opt(pyboolector.BtorOption.BTOR_OPT_MODEL_GEN, True)
 
             start_rs_i = rs_i
 
@@ -306,8 +306,8 @@ def create_diagnostics_1(self, active_randsets) -> str:
         ret = ""
 
         btor = Boolector()
-        btor.Set_opt(pyboolector.BTOR_OPT_INCREMENTAL, True)
-        btor.Set_opt(pyboolector.BTOR_OPT_MODEL_GEN, True)
+        btor.Set_opt(pyboolector.BtorOption.BTOR_OPT_INCREMENTAL, True)
+        btor.Set_opt(pyboolector.BtorOption.BTOR_OPT_MODEL_GEN, True)
         model_valid = False
 
         diagnostic_constraint_l = [] 
@@ -383,8 +383,8 @@ def create_diagnostics_1(self, active_randsets) -> str:
     def create_diagnostics(self, active_randsets) -> str:
 
         btor = Boolector()
-        btor.Set_opt(pyboolector.BTOR_OPT_INCREMENTAL, True)
-        btor.Set_opt(pyboolector.BTOR_OPT_MODEL_GEN, True)
+        btor.Set_opt(pyboolector.BtorOption.BTOR_OPT_INCREMENTAL, True)
+        btor.Set_opt(pyboolector.BtorOption.BTOR_OPT_MODEL_GEN, True)
         model_valid = False
 
         diagnostic_constraint_l = []