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: 24e2b0c30534edbb5b6cd356cee81c4b598109fd

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
589112f4a0317a41a1023a936d9c38077fd1d707
9ee34771d1fa3a8f17c50827f3c182b932180a2b
6c7f455b565d24558c7df265e0872f5ed3ec74a3
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Except1Rec/ConstantRank1/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules