From a13741da69ed037ef6c04ea662cd57e5f3792068 Mon Sep 17 00:00:00 2001
From: Shromona MacBook <shromona.ghosh@berkeley.edu>
Date: Sun, 26 Feb 2017 12:05:30 -0800
Subject: [PATCH] Modified fastboolean eval

---
 stl/fastboolean_eval.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/stl/fastboolean_eval.py b/stl/fastboolean_eval.py
index 36eb6f9..206c0a0 100644
--- a/stl/fastboolean_eval.py
+++ b/stl/fastboolean_eval.py
@@ -14,6 +14,7 @@ def bool_op(stl, conjunction=False):
     f = and_ if conjunction else or_
     def sat_comp(x,t):
         sat = bitarray(len(t))
+        sat.setall(True) if conjunction else sat.setall(False)
         for arg in stl.args:
             sat = f(pointwise_satf(arg)(x, t), sat)
         return sat