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: a5695480c493fbc31b42b942595714cba07cbb3f

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
8f23ede8fe9ab8dfef426d872b135a8aae8927ae
0b0f269ba0c4a855fae42cd83e51ce1d45f4fb38
5f1cfb20763f036b0f7dbd09d852f2f47f1595ef
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Set1/FiniteSetsCardinality/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules