Skip to content

Commit

Permalink
fix tests
Browse files Browse the repository at this point in the history
  • Loading branch information
NishanthJKumar committed Aug 23, 2024
1 parent 5e2ac3f commit c6f3718
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions predicators/structs.py
Original file line number Diff line number Diff line change
Expand Up @@ -185,6 +185,8 @@ def allclose(self, other: State) -> bool:
if not CFG.allow_state_allclose_comparison_despite_simulator_state:
raise NotImplementedError("Cannot use allclose when "
"simulator_state is not None.")
if self.simulator_state != other.simulator_state:
return False
return self._allclose(other)

def _allclose(self, other: State) -> bool:
Expand Down

0 comments on commit c6f3718

Please sign in to comment.