# Alloy 6, Electrum is merged on the master branch **URL:** \ **Category:** Uncategorized\ **Created:** [March 2, 2021, 10:36am UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149 "2021-03-02T10:36:23Z")\ **Posts on this page:** 10\ **Page:** 1
**Author:** ![peter.kriens](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/peter.kriens/32/3_2.png) [@peter.kriens](https://alloytools.discourse.group/u/peter.kriens)\ **Post date:** [March 2, 2021, 10:36am UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/1 "2021-03-02T10:36:23Z")
The Electrum team has merged their epic work on the Alloy master branch, which will be used for release 6. This is still early days but you might want to take a peek. > **[AlloyTools/org.alloytools.alloy](https://github.com/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 switch... ---
**Author:** ![steve.freeman](https://avatars.discourse-cdn.com/v4/letter/s/2acd7d/32.png) [@steve.freeman](https://alloytools.discourse.group/u/steve.freeman)\ **Post date:** [March 2, 2021, 10:49am UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/2 "2021-03-02T10:49:56Z")
Good news. I’ve been in TLA land for a while because it was more suitable for the problem, but this should make a difference. This would be a good opportunity to get the word out with some associated content. S ---
**Author:** ![ocharles](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/ocharles/32/52_2.png) [@ocharles](https://alloytools.discourse.group/u/ocharles)\ **Post date:** [March 8, 2021, 5:06pm UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/3 "2021-03-08T17:06:51Z")
This is wonderful news! Is there a `.jar` available that we can try? ---
**Author:** ![peter.kriens](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/peter.kriens/32/3_2.png) [@peter.kriens](https://alloytools.discourse.group/u/peter.kriens)\ **Post date:** [March 9, 2021, 9:15am UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/4 "2021-03-09T09:15:05Z")
The files are not stored yet. I need to move it to Github Actions and make this work. You can checkout the repository and build it yourself though. ---
**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\ **Post date:** [March 10, 2021, 6:11pm UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/5 "2021-03-10T18:11:06Z")
Meanwhile, you can use the Electrum jar that @nmacedo built: [Release Electrum v2.1.4 · haslab/Electrum2 · GitHub](https://github.com/haslab/Electrum2/releases/tag/v2.1.4) ---
**Author:** ![nday](https://avatars.discourse-cdn.com/v4/letter/n/f08c70/32.png) [@nday](https://alloytools.discourse.group/u/nday)\ **Post date:** [May 5, 2021, 2:30pm UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/6 "2021-05-05T14:30:19Z")
When I build Alloy 6, I’m getting a lot of failed tests: > Task :org.alloytools.pardinus:test kodkod.test.pardinus.temporal.InstanceExpansionTests \> testTmp1SMV FAILED kodkod.engine.AbortedException at InstanceExpansionTests.java:91 kodkod.test.pardinus.temporal.InstanceExpansionTests \> testTmp2SMV FAILED kodkod.engine.AbortedException at InstanceExpansionTests.java:148 kodkod.test.pardinus.temporal.InstanceExpansionTests \> testTmp3SMV FAILED kodkod.engine.AbortedException at InstanceExpansionTests.java:200 kodkod.test.pardinus.temporal.ExampleTests \> testUNSATFormulaComplete FAILED kodkod.engine.AbortedException at ExampleTests.java:96 kodkod.test.pardinus.temporal.ExampleTests \> testSATComplete FAILED kodkod.engine.AbortedException at ExampleTests.java:84 kodkod.test.pardinus.temporal.BaseTests \> testUnsatSMVLength FAILED kodkod.engine.AbortedException at BaseTests.java:355 kodkod.test.pardinus.temporal.BaseTests \> testUnsatSMV FAILED kodkod.engine.AbortedException at BaseTests.java:279 kodkod.test.pardinus.temporal.BaseTests \> testSatSMV FAILED kodkod.engine.AbortedException at BaseTests.java:243 kodkod.test.pardinus.temporal.BaseTests \> testSatSMVComplete FAILED kodkod.engine.AbortedException at BaseTests.java:317 kodkod.test.pardinus.temporal.TemporalIdentitiesTests \> test[(always(after(some g)) iff after(always(some g))) electrod false] FAILED kodkod.engine.AbortedException at TemporalIdentitiesTests.java:260 kodkod.test.pardinus.temporal.TemporalIdentitiesTests \> test[(always(some g) iff !eventually(!some g)) electrod false] FAILED kodkod.engine.AbortedException at TemporalIdentitiesTests.java:260 etc. The GUI runs although I haven’t yet tried the Pardinus functionality. Should I be concerned about the failed tests? ---
**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\ **Post date:** [May 10, 2021, 9:47am UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/7 "2021-05-10T09:47:16Z")
Do you have `nuXmv` installed and in your PATH? ---
**Author:** ![nday](https://avatars.discourse-cdn.com/v4/letter/n/f08c70/32.png) [@nday](https://alloytools.discourse.group/u/nday)\ **Post date:** [May 10, 2021, 4:11pm UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/8 "2021-05-10T16:11:35Z")
Thanks for the advice. I’ve installed nuXmv and more tests now pass. (I suggest putting the instructions to install nuXmv in the README.md) However, there are still 11 tests that fail: > Task :org.alloytools.pardinus:test kodkod.test.pardinus.temporal.InstanceExpansionTests \> testTmp1SMV FAILED kodkod.engine.AbortedException at InstanceExpansionTests.java:91 kodkod.test.pardinus.temporal.InstanceExpansionTests \> testTmp2SMV FAILED kodkod.engine.AbortedException at InstanceExpansionTests.java:148 kodkod.test.pardinus.temporal.InstanceExpansionTests \> testTmp3SMV FAILED kodkod.engine.AbortedException at InstanceExpansionTests.java:200 kodkod.test.pardinus.temporal.ExampleTests \> testUNSATFormulaComplete FAILED kodkod.engine.AbortedException at ExampleTests.java:96 kodkod.test.pardinus.temporal.BaseTests \> testUnsatSMVLength FAILED kodkod.engine.AbortedException at BaseTests.java:355 kodkod.test.pardinus.temporal.BaseTests \> testUnsatSMV FAILED kodkod.engine.AbortedException at BaseTests.java:279 kodkod.test.pardinus.temporal.BaseTests \> testSatSMV FAILED kodkod.engine.AbortedException at BaseTests.java:243 kodkod.test.pardinus.temporal.BaseTests \> testSatSMVComplete FAILED kodkod.engine.AbortedException at BaseTests.java:317 kodkod.test.pardinus.decomp.UbdSymmetryTests \> test[V2 V2 V1] FAILED kodkod.engine.AbortedException at UbdSymmetryTests.java:273 kodkod.test.pardinus.decomp.UbdSymmetryTests \> test[V5 V2 V1] FAILED kodkod.engine.AbortedException at UbdSymmetryTests.java:273 kodkod.test.pardinus.decomp.UbdSymmetryTests \> test[V6 V2 V1] FAILED kodkod.engine.AbortedException at UbdSymmetryTests.java:273 1376 tests completed, 11 failed Any ideas? Thanks! ---
**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\ **Post date:** [May 10, 2021, 7:40pm UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/9 "2021-05-10T19:40:28Z")
Do you also have NuSMV installed? (I will transmit your suggestion, thanks) ---
**Author:** ![nday](https://avatars.discourse-cdn.com/v4/letter/n/f08c70/32.png) [@nday](https://alloytools.discourse.group/u/nday)\ **Post date:** [May 10, 2021, 11:11pm UTC](https://alloytools.discourse.group/t/alloy-6-electrum-is-merged-on-the-master-branch/149/10 "2021-05-10T23:11:43Z")
That worked! Now all tests are passing when I build Alloy. Thanks very much for your help 🙂