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
694 stars 123 forks source link

New trace not disabled when no more inits/forks #248

Closed nmacedo closed 1 month ago

nmacedo commented 3 months ago

The "new trace" operation should be disabled whenever "new init" and "new fork" are used. However, if a "new init/fork" happens to have no further instances, the visualizer is not updated, "new trace" is not disabled and throws an error when clicked. Minimal example: 

var sig a {}
run {no a}

Then hit "new init" followed by "new trace".

nmacedo commented 3 months ago

Also happens if "new config" is exhausted.