Merge pull request #91 from symbiont-io/det-ldfi

feat(ldfi): try to be deterministic by setting random_seed

src/ldfi/ldfi/__init__.py

@@ -173,6 +173,7 @@ def create_sat_formula(config, previous_faults, potential_faults):
 def sat_solve(formula):
     solver = z3.Solver()
     solver.add(formula)
+    z3.set_option('smt.random_seed', 0)
     result = solver.check()
     if result == z3.sat:
         model = solver.model()