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: 01a608b23823ed4ce87a0a9c5ec0ac8bb3111277

Test Case Back References Cmd Options Execution Result Execution Output/Meta
Test Case Id
38421bb832d91998c69d283fee258bb0539cd46a
3b34a82a065d8bb0b3099ca7762057e69a5237e7
98c9a7952d359be35f00b918c3bf0770afd64a72
8ba57388d319e0ebebd8446b7330b14d5f8743af
98874a267b03b9e7c963378a2c3df43798265f7d
aad6d83aea5b1e2b89eed7358aad5fda1b179ff0
-workers 1 violation
  • execution log
  • execution result
  • execution command line

Source Files

Folder Path InstanceInFolder/NumLt/no-dl/tlc
Configuration TLC_M0.cfg
Main Module TLC_M0.tla
Other Modules TLC_x1.tla