Trace stats not updated when "execute all"
nmacedo opened this issue · comments
When executing all commands, the reported number of steps explored doesn't reset between commands.
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.