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

Model Id: 061740bf7fab162930c15c99afc0d82c0e1bf1cc

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
751a61f10df4b89345135d022e13edcb951830d4
ab2b8f0642413bced21ba233ad632b21d9cdb940
3bae8f4e97710d18f9167b187fcc8760d22a2700
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Variable/BagEmptyBag/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules