Index


  • Introduction

  • Skipped feature combinations
  • Failed test cases
  • Tests by feature combinations
  • SYMMETRY tests
  • Tests under anomalous conditions

  • Tests by feature combinations: -workers 2
  • SYMMETRY tests: -workers 2

  • Tests by feature combinations: -workers auto
  • SYMMETRY tests: -workers auto

Model Id: 2422717a04723d738d3902af78741e227c548fd1

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
0b8be833ddb7f7afd3718228af03f0c9967fa8e3
9c04a2c5a7b978a4ced3ad50391054f941b5c82b
75c3603801addca109e9127cbb24c1bcd8ea9bba
87ef7fada4ec0ec3c47cf784a364e1e1d500534a
57b3723e9cfb61f428d4aecb3cf9f46b556fe08d
3744ac1114f38802a4449e34f8fc1f54e7729064
ffaa1f761799b1e3d88446e34b95907e0de52cc4
2bc6b58d506321941fb69ae59ccdb24ec45894fc
8926a21adc570c61365050605e36f963deac172e
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Def0/OneLineComment/no-dl/ref
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules