| Test Case Back References | Cmd Options | Execution Result | Execution Output/Meta | ||
|---|---|---|---|---|---|
|
-workers 1 | violation |
| Folder Path | FunSet/ExtendsInDifferentFolder/dl/ref |
| Configuration | TLC_M0.cfg |
| Main Module | TLC_M0.tla |
| Other Modules |
TLC_x1.tla |