In Alloy GUI, the value of ‘maxseq’ sometimes changes because I set the scope of the run command, which prevents the instance from being generated. is it possible to customise the value of ‘maxseq’?
In Alloy GUI, the value of ‘maxseq’ sometimes changes because I set the scope of the run command, which prevents the instance from being generated. is it possible to customise the value of ‘maxseq’?