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: 4a0ef4e226d481f763febc5d82898656f60359ab

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
93deb1a7de83d32d4c239d41ff6945abfbae449e
f52f231efaca17e7b256642746bfe870cc7d671c
d1dab3c894daeb468ca02bc8f37af1c863865b98
39faccbae2b8b2f4c2ab966692deb1f835debcea
0b5365190bb695037e91377429d13fb44f498161
8d9dda7f61a8c2f80172ca08ad32617796abf4c4
-workers 1 success
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Def1/Def1/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules