Commit 4766346f authored by Marek Chalupa's avatar Marek Chalupa
Browse files

sestate: add try_is_sat method

parent b8d62b4b

slowbeast/symexe/executionstate.py

+3 −0
Original line number Diff line number Diff line
@@ -106,6 +106,9 @@ class SEState(ExecutionState): 
            return r

        return self._solver.is_sat(expr)



    def try_is_sat(self, timeout, *e):

        return self._solver.try_is_sat(timeout, *e)



    def isfeasible(self):

        """

        Solve the PC and return True if it is sat. Handy in the cases