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