Textual representation of an instance shows redundant and low-level information

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

Textual representation of an instance shows redundant and low-level information #207

Closed jbrubru closed 1 year ago

jbrubru commented 1 year ago

I the textual representation of an instance, some useless information appear. For instance:

integers appear twice: "integers" and "Int"
the state where the loopback occurs in the trace and the size of the trace are shown through "loop" and "end"

nmacedo commented 1 year ago

Cleaned up text visualisation for 6.2.