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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
49899a521d4b95a86c211e3edd559c88005dafab
5c9e44c77e12f3c0eb03b4393267b7b9d3b11606
b48d378a69c4b61cef66ab68264bde9a295a25da
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

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