Skip to content

Use correct flag when checking if captureState assumptions need to be inserted#835

Merged
keyboardDrummer merged 1 commit intoboogie-org:masterfrom Dargones:CounterexampleModelFixJan 19, 2024
+1-1

Commits

Commits on Jan 19, 2024