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: 23c70031d95333740ce8eb223d9ad77fdd5b7606

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
46785305550a956ba7a3f7bbe9879e457fafd61f
b9cde6dfa7c1b8c3824da141f0b7d5c7f405baad
ba3b8370adcc448730d3c52c66afecce5cbc7132
3a2ca3b18aafe52e0d4abccf270c5b2ac8e50830
b1997a1e52101f20970baf496ac0b485ac43c567
50155b739e1ef08261785e637f4ff22fc68b62a1
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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