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

Next button missing from master branch after Electrum merge #141

Closed sz332 closed 2 years ago

sz332 commented 3 years ago

I just made a clean build from latest master but it seems that after the merge of Electrum the standard next button used for generating new example is missing.

Example model:

module test

sig Azonosito{ }

sig Ugyfel{ id: one Azonosito }

run {} for 3

sz332 commented 3 years ago

This was fixed in https://github.com/AlloyTools/org.alloytools.alloy/pull/145

Please apply the fix, and then the ticket can be closed.