search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
695 stars 124 forks source link

Meta capabilities does not work #174

Closed cdelg closed 1 year ago

cdelg commented 2 years ago

Since Alloy 6 meta capabilities does not seem to work. If you try the following program:

sig A {
     attr: lone B
}

sig B{}

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

with Alloy 6 we get:

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

Works as expected with Alloy 5.1

grayswandyr commented 1 year ago

Tracked in #194