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: 1c8fff526f1b6c3edf71017c60a31ac2fc78451b

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
7ff454255f046682e32dd17a0a61d95822a38a98
c547b0137f4e6b943dcad200bf980889be5f9d19
0f921156c91855f8a30a5ce8e3506b65871cfc9c
c74f5989a7d408cca9f4f85d119387791ace0cb5
ce9cdda9080c84d4d71d414fec9ca224343da403
d270977d89930238e27e0d403d10dba8bd140351
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceInFolder/LetDef1/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x3.tla