Extraction: claim is too weak
Closed this issue · 0 comments
omelkonian commented
Our definition of extraction in StateMachine.Extract is not strong enough, as we could pick any s and s' to satisfy the conclusion. Ideally, we would want to connect them to the endpoints of the trace we get from initiality.