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: 86335376a5f28fbc1fd346ea9c8397883ee37bc3

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
3635b9f401e6e54882784c1334b1d155bbc971c2
b4d92ac0730d329ed95d52ef381dc5cf6a7975fc
5637b0f12ee3b11865c3747cf89b23e5db94e498
2556daccd305ef712e0242d684526c86da87b0e8
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Cross2/Def1Recursive/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules