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: 814f780c1732f685bfd564b771d31914d6368d00

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
d1bdd00ae7e810a0f684232aabadfa569618b0eb
8303cafea787b608293e9cacc3213c7f7d3acab6
704d095218171ce9f3bf667a9e54da9a6f59f096
05156e423c23c7792e35dbfee56327f18f03418c
ccda6b8663e1b78430f74c77d45d71acebd04f98
fb5610d4ce32a9256f578d1fba1930c84b449095
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

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