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: 5d7359408209a1e3163f808225e6f131e378fb49

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
b3fb9cac7824a23bc52b88ab14a5d4a61c9c8c61
a8737e92239af3e7169e039e4c5c3a758a4c54c1
5544f12e5872e872c25f91fbf37b5878016f12db
2ecc294ef45b5821d222c21d2b1a2368a9772098
7cb478163f925f6e46688af7a7571ff8cc5ee910
7003f7779f4a1563a8893de1bff4621c29dea6e9
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path Instance/Choose/dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x2.tla