Commit 7cd3600a authored by Marek Chalupa's avatar Marek Chalupa
Browse files

bse: remove invalid assertion

parent 74b6d4e8

slowbeast/bse/bse.py

+5 −3
Original line number Diff line number Diff line
@@ -246,9 +246,11 @@ class BackwardSymbolicInterpreter(SymbolicInterpreter): 
        assert len(ready) <= 1, "We support only one pre-state"

        if ready:

            if state.join_prestate(ready[0], fromInit):

                assert (

                    not fromInit or not state.inputs()

                ), "Initial state has unresolved inputs"

                # This assertion must hold only if the execution was maximal

                # - but that may not be tru

               #assert (

               #    not fromInit or not state.inputs()

               #), f"Initial state has unresolved inputs: {state}"

                return [state]

        return []