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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
fd359cc68b9b9e58a27a13b77a6b35b9408ddaaa
2fb8c237b27ce34be34302eff513f37aecca35ab
cf93bacb7abe11ea20b97bb55a324edf3c6d7a09
b1664b39579a59d030c02d89b7426dbaeb2cf07d
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path And/Instance/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x2.tla