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: 8ee56468e0a066a521571344b40a9eb5f22e121f

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
1de1078b23cb12eda2192d3c35264297c8d89081
c1523359390effec2025ed168eeabe615076c38f
cde257e6b138a822329a4a110196e0a424813c51
697568aea1eed7ac05d9906344eb59029d8457a3
723f0b090252684bf074619ae287495fa756d0e4
378845fe6243bee8730b8fcc9073b7182bb927b6
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

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