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: 6b605099f8babb29ae284d47aa36eed1ccf00a46

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
744c13fd634c83041f216f813746ec7a9798aaad
51e96262e527b338ba0e633185746854c54f68d4
9255934d73c9cc4f20c3ca23f81b275a67c128ce
c64884b274ff85815473593406fd72fea8c8164f
c27a6e8b2669ed7ca24c352993c447a4bf827f30
d70ba13f1d8f1a247d05c395db0c70b00e66644e
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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