quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Refactor interfaces and conditionals on simulation result

Open bugarela opened this issue 1 year ago • 0 comments

We found some improvements to be made around what is returned by the simulator and how it is processed in cliCommands: https://github.com/informalsystems/quint/pull/1340

bugarela avatar Jan 15 '24 20:01 bugarela