From aec3c0d15bb11464118f5b0bd5097036975c5199 Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Sun, 9 Oct 2016 23:13:25 -0700
Subject: [PATCH] implemented robustness

---
 robustness.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/robustness.py b/robustness.py
index ccbf438..86d7842 100644
--- a/robustness.py
+++ b/robustness.py
@@ -87,12 +87,13 @@ def binsearch(stleval, *, tol=1e-3, lo, hi, polarity):
             lo, hi = mid, hi
         else:
             lo, hi = lo, mid
-    return mid
+    
+    # Want satisifiable formula
+    return hi if polarity else lo
 
 
 def lex_param_project(stl, x, *, order, polarity, ranges, tol=1e-3):
     val = {var: (ranges[var][0] if not polarity[var] else ranges[var][1]) for var in order}
-    # TODO: evaluate top paramater
     p_lens = param_lens(stl)
     def stleval_fact(var, val):
         l = lens(val)[var]