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 plug feature Boxed; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
0efb0063233634ec45adffee39c172b658bacf0d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Boxed True Passed
  • Model Under Test
  • Equivalent Model
14c7ccb7a55f2efb521b066db51ce65b09b8ab8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Boxed False Passed
  • Model Under Test
  • Equivalent Model
60bf55acdc554aeb00130d8d8b9aa33b6982f423 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Boxed True Passed
  • Model Under Test
  • Equivalent Model
54e04e2bee494b86c72fb0633f38d4e2ae1ebcfe TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Boxed False Passed
  • Model Under Test
  • Equivalent Model
2113884b8af9827b3bbf839b8f8a57ce53a8f7f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Boxed True Passed
  • Model Under Test
  • Equivalent Model
51715f92bedfeb0993cd5de81e96741957322cde TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Boxed False Passed
  • Model Under Test
  • Equivalent Model
cfa7b15785797b20de7ba9ff2b85d1e5260dd3d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Boxed True Passed
  • Model Under Test
  • Equivalent Model
d980952381d7d67ce5a9319efad2dc0d84096b06 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Boxed False Passed
  • Model Under Test
  • Equivalent Model
a9575fb261ae59cadd3fc7b4b252e0371a2c20d0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Boxed True Passed
  • Model Under Test
  • Equivalent Model
d388df53ec34c985270065040764b7073b140aab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Boxed False Passed
  • Model Under Test
  • Equivalent Model
7c7e93baa3e62d52b7d57cae3d058fe075b511fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Boxed True Passed
  • Model Under Test
  • Equivalent Model
f05294558567de2110d146296dc0cbf3a4af28ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Boxed False Passed
  • Model Under Test
  • Equivalent Model
8240daf1bf0c755710d14cdd2141d158020fa31a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Boxed True Passed
  • Model Under Test
  • Equivalent Model
d6a8b9c507353f29904a912dfccaf0bf07861c89 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Boxed False Passed
  • Model Under Test
  • Equivalent Model
2f75f0a91212a92bb27ab05e07fea1f7e5d5d344 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Boxed True Passed
  • Model Under Test
  • Equivalent Model
e044f94287367f4d337072d4487f38186d27e6a3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Boxed False Passed
  • Model Under Test
  • Equivalent Model
c2ea567f3502257caa3479676beae7fe836d23a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Boxed True Passed
  • Model Under Test
  • Equivalent Model
365899d2ed6b266d3cdf2a6815bf9b64bff17a96 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Boxed False Passed
  • Model Under Test
  • Equivalent Model
decd71967fe277f4edf415c8d3207280ce618f4f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Boxed True Passed
  • Model Under Test
  • Equivalent Model
0153bde57ab68912d88b1de44258fdc27a22d28d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Boxed False Passed
  • Model Under Test
  • Equivalent Model
0612b223b9fe363c574a0beae7a5e7f2b769ce6b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Boxed True Passed
  • Model Under Test
  • Equivalent Model
d2dcd28a7fb8d107892bcd43719b212e8a04a6eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Boxed False Passed
  • Model Under Test
  • Equivalent Model
f3c07ced2d316d72f7e4d54980ba083ba5bdf22f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Boxed True Passed
  • Model Under Test
  • Equivalent Model
5b142531ee9852477fd983ccdedfe35e0cad0088 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Boxed False Passed
  • Model Under Test
  • Equivalent Model
9ac0115fdfcde27c8e9a43897b812d12492ff6a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Boxed True Passed
  • Model Under Test
  • Equivalent Model
ff870650c5cb439f052b14b2a0abcf2da5f74177 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Boxed False Passed
  • Model Under Test
  • Equivalent Model
48508d9d39618bdfbc6111fbcfaa5a67cc3b2cff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Boxed True Passed
  • Model Under Test
  • Equivalent Model
2bb0d1d740c4f82979b25eb76c730293a89daf57 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Boxed False Passed
  • Model Under Test
  • Equivalent Model
315589216ce8c5bb6c4d887b687a02ad38b39a3e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Boxed True Passed
  • Model Under Test
  • Equivalent Model
abf9f6d5acc8c8c6e0ddda837814a1161638914e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Boxed False Passed
  • Model Under Test
  • Equivalent Model
96a35cc1806d4f58616441342772392271c0d5ab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Boxed True Passed
  • Model Under Test
  • Equivalent Model
e5df9f9a5f6e9197075cb832ecc328d4750282ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Boxed False Passed
  • Model Under Test
  • Equivalent Model
aabfb83408bbf3819b790f6025ad397afc85935e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Boxed True Passed
  • Model Under Test
  • Equivalent Model
c9ffcefa136a8da456b0ecfc7deda30c9b09b040 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Boxed False Passed
  • Model Under Test
  • Equivalent Model
223d03ead3a73dcbc85fe1fb8fd7f9a5f47e017d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Boxed True Passed
  • Model Under Test
  • Equivalent Model
d1d68493313a1cfee2045388d32794379754ea4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Boxed False Passed
  • Model Under Test
  • Equivalent Model
ad554e509a01a180e26c251af24a57762c1afdd8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Boxed True Passed
  • Model Under Test
  • Equivalent Model
267d23d69556ca346e867331c4511d616e47fed9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Boxed False Passed
  • Model Under Test
  • Equivalent Model
e25a2839b19ee88586c385ef4bb59cf0aaaab956 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Boxed True Passed
  • Model Under Test
  • Equivalent Model
a6c0600765b8b12518ec78dd5822f63804ba6983 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Boxed False Passed
  • Model Under Test
  • Equivalent Model