-
- Downloads
Problems with SYMMETRY constraint on unions of mixed cardinality sets - #432
. Re-wrote the detection of cardinality-1 sets declared symmetric . QC'd with a single single; a single and a multiple; two singles; a multiple; two multiples - each with multiple workers and with a single worker . Still pending the addition of a number of unit tests [Bug][Tools]
Showing
- tlatools/src/tlc2/tool/impl/Tool.java 114 additions, 34 deletionstlatools/src/tlc2/tool/impl/Tool.java
- tlatools/src/tlc2/value/impl/MVPerm.java 21 additions, 0 deletionstlatools/src/tlc2/value/impl/MVPerm.java
- tlatools/src/tlc2/value/impl/SetEnumValue.java 1 addition, 0 deletionstlatools/src/tlc2/value/impl/SetEnumValue.java
Loading
Please register or sign in to comment