Merge branch 'master' of https://github.com/nikhilpim/medley_tool

uclid-org · Oct 12, 2020 · 1c3a06f · 1c3a06f
2 parents 64ff562 + 275dd67
commit 1c3a06f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/medleysolver/compute_features.py b/medleysolver/compute_features.py
@@ -60,7 +60,7 @@ def get_features(file_path,logic="",track=""):
     g = z3.Goal()
     g.add(z3.parse_smt2_file(file_path))
     results = [z3.Probe(x)(g) for x in PROBES]
-    features = results
+    features = features + results
 
     cache[file_path][logic][track] = features
     return features
@@ -75,4 +75,4 @@ def get_check_sat(file_path):
                 line = line[:line.find(';')]
             ret += line.count('check-sat')
     cached_checksats[file_path] = ret
-    return ret
+    return ret