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: 45d9db770ec27427abd59928043fd479d5f6b059

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
3f696cb7c59ceed987daa7c25680806d5f7171f1
51defbffae79b11a39015530d668f653dff093e0
661afac1f61b744dfeeb6ff04b631f63743770be
5ba49e659753a8f00d916352126eb2f003aac550
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Or/BagBagIn/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules