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: 126ae9805086be5a3ca657975677fbb6310878f0

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
a3b51d441b0563a4f4492b466ce78c6bce7ac793
116c301a695acae0527b77f13247054302813ba8
3f1f6846a83290866fe4260bf50e2bfc1d7867dc
f30b86f932f9a8671d70e089bea093396ee44358
88845a623afca9777e8c50089a37cf8796d1fd18
7ceef41418420e6e152690e8b8cafa0b4f3cab2f
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceNamedInFolder/NumLt/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x1.tla