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

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
d80ed5b95d8b6e1ee414df0f86a813e7c40ccbb2
c6c20381e10cd25014be2b2cbb33d6df707691e7
8a97447c2f4c1a1fa5bbb832b0f167e1c722025d
e41ef845833ad52d553c58b8077bbb88bbc0df5c
8186eb01ba16f2bb9c05cc059730d95cea47cdec
0f19db43cb1c3db6c17a0b8fbf8d246710f467d6
3d9c763a19ada6c52cc81b4bc458d63927f0dddb
a813c90743e58764ea758f0b009e7e263b60d84b
50019b04d5e6f08799e95b1a195052be583ae793
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path AssumeNamed/IfCond/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules