Using meta-capabilities


I am trying to use the meta capabilities described here: with the following program:

sig A {
	 attr: lone B

sig B{}

run {
	all f:field$| some f.value

When I run this with Alloy 5.1 it works well but with Alloy 6 I get that:

Fatal Error: the solver ran out of stack space!
Try simplifying your model or reducing the scope,
or increase stack under the Options menu.

Is the meta-capability suppose to work on Alloy 6?


Hi it’s indeed broken in Allot 6. I think a GitHub issue was created to keep track of its resolution but if not, please do not hesitate to file one.

Thanks, I opened an issue on GitHub.

1 Like