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: 5d8e4befdf7a2b9569e0d7d81c7032ad97e08731

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
c301a2141eae463dd1b96ff2a5ca3a98d634995a
bae16137d6114e261f2be0d648e1fbf1449e1ab6
24be45b22596251ae0921f1ed1befa2d1b45ad95
d79ce65d59d71e2d1c089cbc9be0c06471a647bf
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

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