Since the semantics for interleaving inspect with expect and triggers in the Kompics model are unclear now, inspect should be removed until clearer semantics can be implemented.
See the Slack History on Inspect Issue.txt for the conversation detailing this issue.
Since the semantics for interleaving
inspectwithexpectandtriggersin the Kompics model are unclear now,inspectshould be removed until clearer semantics can be implemented.See the Slack History on Inspect Issue.txt for the conversation detailing this issue.