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: 925ff695a144e89c8130582deaaecdacc058e898

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
7f74e37bc36a2a5d6cef3e3241c37af052ff2ce1
3a3e161986c6fae2c9f2ab8ce1852809e22457d3
3181ab70385cf21c15728f2a2deb22b01921e847
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path BagBagToSet/InstanceNamedWithInFolder/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x3.tla