Temporal Alloy Repair is a tool that extends Alloy6 to allow mutation-based automatic repair of specifications.
You can check the Alloy README for these instructions.
Simply run
$ docker build .
in the root project folder.
An already built image can also be found at Docker Hub.
No changes have been made to the original source code in the core, all core additions have been made in the pt.haslab
package, if you want to add new mutators you can do so by first creating a class extending pt.haslab.mutation.mutator.Mutator
and then adding this class to the generation process in pt.haslab.mutation.mutator.Generator
.