Currently, ClaferIG runs Alloy, which by default executes the run command and there's no way to execute the check commands.
Add an interactive mode command check in the form:
To validate assertion on line n, execute
To validate all assertions, execute
ClaferIG should display at most one counter-example per assertion when found or display Assertion on line n holds.
Currently, ClaferIG runs Alloy, which by default executes the run command and there's no way to execute the check commands.
Add an interactive mode command
checkin the form:To validate assertion on line
n, executeTo validate all assertions, execute
ClaferIG should display at most one counter-example per assertion when found or display
Assertion on line n holds.