SimpleTrafficLights Test Specification Example: testsuite not working
- open SimpleTrafficLights Test Specification Example
- go to TLCSystem
- right-click on the Testsuite
- try update, execute, validate
==> None is working
#6 Updated by Georgeta Igna almost 6 years ago
After following the steps to reproduce the issue, when selecting: "Run" I see an exception and the message shown in the attachment.
I had a look into the code. The error originates from TestCaseSimulator.java, Line 140. It looks to me that that method has not recently been updated.
For example: hashmap inputportCache is declared never assigned with values and on Line suddenly we have: if(inputportCache.containsKey(originalIp))...