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

Tests by case feature LetDefFunInDef; CLI Option: -workers 1

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
13f2da02ccb32f6fcd7cd6a81493261dcb46378f TLC with reduction strategy:
  • Case Feature: LET definitions are reduced to global definitions
LetDefFunInDef InDef0 True Passed
  • Model Under Test
  • Equivalent Model
8d81c883e597796f68282eb93fd67831c83d7658 TLC with reduction strategy:
  • Case Feature: LET definitions are reduced to global definitions
LetDefFunInDef InDef0 False Passed
  • Model Under Test
  • Equivalent Model
4d2fd3f78720fe6e21b55af98b979c9c3dcc7c6e TLC with reduction strategy:
  • Case Feature: LET definitions are reduced to global definitions
LetDefFunInDef InDef1 True Passed
  • Model Under Test
  • Equivalent Model
661c9e42bc9e92030bf2c171cb567689c25f9c40 TLC with reduction strategy:
  • Case Feature: LET definitions are reduced to global definitions
LetDefFunInDef InDef1 False Passed
  • Model Under Test
  • Equivalent Model
1cea1a99fb4f86ce581e0a363677bf45581cbf7e TLC with reduction strategy:
  • Case Feature: LET definitions are reduced to global definitions
LetDefFunInDef InDef2 True Passed
  • Model Under Test
  • Equivalent Model
b358b054c8d26fad5d25bfd7f35e4a3af76842cc TLC with reduction strategy:
  • Case Feature: LET definitions are reduced to global definitions
LetDefFunInDef InDef2 False Passed
  • Model Under Test
  • Equivalent Model