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: f22cdb5789489bfe49e4c1aa711664e4b32bb4e0

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
e380fbe9c82c8530d911c34a5a81ca4b2ddfaa10
cd287a815f5a8266afecb3323f710c88d92f6ffe
bc5e3c21eae89d409a881173157ed14504758575
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path AndMultiLine/Unchanged/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules