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: 35dfd80a8dc561768ca2ed6fc0ac434c4b732027

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
45d0b55945ccdff288e8d11b917e941f993d33fe
7d21b4d7f9d6bb4ebe0e19c784b21001438c750f
8947b207295675965a232f0fc37e61df84f73133
f848444c04853c804dab91feac443ec13085e398
5c4573bd6142a9ec4f83d0737ef53b7e4b72602d
0c574baab8ca76e2215a1082b5e2f11abd9a800a
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceNamedInFolder/Tuple/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x1.tla