-
- Downloads
EXTENDS-less inner module EXTENDS-ed makes SANY sad - #429
. Adding a check in Context#mergeExtendContext(Context) and a unit test. [Bug][SANY][Tools]
Showing
- tlatools/src/tla2sany/semantic/Context.java 61 additions, 61 deletionstlatools/src/tla2sany/semantic/Context.java
- tlatools/test-model/Github429.tla 14 additions, 0 deletionstlatools/test-model/Github429.tla
- tlatools/test/tla2sany/drivers/Github429Test.java 32 additions, 0 deletionstlatools/test/tla2sany/drivers/Github429Test.java
Loading
Please register or sign in to comment