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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Imported atoms break table view in evaluator

nmacedo opened this issue · comments

The occurrence of atoms from imported modules in expressions seems to break the table view in the evaluator. Example, with sig Natural imported from util/natural:

open util/natural
some sig a { 
	r : Natural,
	s : a }
run {}
Screenshot 2024-05-15 at 12 36 25

It works fine on table view though:
Screenshot 2024-05-15 at 12 40 44

Fixed, was a problem with the regex identifying tuple sets to be converted into tables.