Commit ebff7b09 authored by Marek Chalupa's avatar Marek Chalupa
Browse files

overapprox: fix a crash 

Concrete bool has not rewrite_and_simplify() method.
parent c2c60557

slowbeast/kindse/overapproximations.py

+4 −1
Original line number Diff line number Diff line
@@ -452,7 +452,10 @@ class LoopStateOverapproximation: 


    def commit(self):

        S = self.goal

        S.reset_expr(self.expr_mgr.conjunction(*self.clauses).rewrite_and_simplify())

        expr = self.expr_mgr.conjunction(*self.clauses)

        if not expr.is_concrete():

            expr = expr.rewrite_and_simplify()

        S.reset_expr(expr)

        return S



    def overapproximate(self):