From c2d6915ba7d00fccbc9160d764a09bcb8c8d3232 Mon Sep 17 00:00:00 2001
From: Stevan Andjelkovic <stevan.andjelkovic@symbiont.io>
Date: Tue, 2 Feb 2021 14:53:50 +0100
Subject: [PATCH] feat(ldfi): try to be deterministic by setting random_seed

---
 src/ldfi/ldfi/__init__.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ldfi/ldfi/__init__.py b/src/ldfi/ldfi/__init__.py
index c2346f4f..07dd40f4 100644
--- a/src/ldfi/ldfi/__init__.py
+++ b/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()