Using meta-capabilities

Hi,

I am trying to use the meta capabilities described here: https://alloytools.org/quickguide/meta.html 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?

Thanks

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