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 ConstantModelValue; CLI Option: -workers 2

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
02b639350a7716d1520d13bbb229366c5565a00f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
5f0c89e7fdc58a41a39f6489a1d749244bcf370d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
6cc5c5a1f72d26cc5b3e953e67b542f25e4e93ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
701a6b2d7bfc6b08b912e981b1463a2ab6af0b74 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
a47828e6679033656f2d390c6a840594fdb8a22a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
c8bf6d9831edbe5bc8a17b1ff627ad94e5ea156d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
1f8f517eeb5c4d27ac0b0af9dbba0189af7f95c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
f2b2b90683a30bc67db5e4cde861549b41030070 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
0e8e568078220ea462565a7e73d6a3351a4e4ffb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
82a76f277fcbb0d283aa2b1d8a3a56a3fd347255 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
c16deb0603c5a4dd5e0a8bdc42fdc8e7ff69e724 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
b5f14c121f9689c461d73198775b8a478d246b5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
41b6f82e5a3a4c84ec5b99f3e4695afd792c6dce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
c6462eaf2632a37f63525ce29167b47da5fb3f44 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
0b7a111200b311dfcb5f0e5c6a8a3bc6d9df7d2e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
419d1ace6c143c7c89b607e021733bfb10e598fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
198396dc7c687ec4d8579aa9c0aea7247f9d9b00 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
e00454c06db9dc5e1b888722c86c69f00492f4e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
9095077980623a38c90e2eab0871b29826ed251e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
a14c664336100c49e98339ba1b43b24730aaf072 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
1cd19ae96c2e7210fe14925bc2d49181f4a22476 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
9434d8353b3d5747bb1443fbfba37cccf0c2968f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
eea6930b91fc6e88655e75f1448808315bbb934b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
df61b6c223b65061d23c4fa9cddf45292792f3a9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
0369c31affa1c06b48b968ef05dbfad22888198c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
03c91e2ef32c0ed64f3de82d0fd4124c15f5c5f9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
485495bf741b36c57c2572274cdc8aad562833a1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
d19dfcab72ab68923cab1383e09b2bef35d727cf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
094e2ea17e781a81d79c63a58ff06ca5363437c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
02532099fd9e577ada981990dd3dd4aa126d309f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
715cdc26ec355ccde0edae42769e6fdb0853a4ce TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
43ca48d8c533ebf03f91f0ee5d8750f08c16f154 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
b04ca0acdde7067fa87b2b52659adbd3f489039f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
f2f73426a45eae4e73e928b1941c6d89789096cc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
21559014d8e273a552e463c980f024ca1425d0d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
5f85f0b25e9ae7010f64676aa03a33b1d678b95a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
1ed198ae2a201fad98fcfe16da2eafe403a249d5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
906af76e0ce54653fb23e94efda5cdcb858c52e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
ae29276f5f7714d7a39ef0341bbe4d0864018603 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
3fa6505aa1fdf79deed289a5f3742ca8518cf2a5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
3f6f10aa2052833508ea758b618a6504ae0c120a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
285e864a34322970a932d2c3df4e20119b06e767 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
b14b6e730fbbd45200bafd342f16a847d9a76644 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
58a695b82139c3f2036230f3fc64dfcd4d16b69a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
8627b35aa397950588c72b19a0bdf5f7aec9adc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
8d2be600ed78344b8e35409bb958d2b8c0e686b5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
267145b60955cfece51a34b480f112ebe84815b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
08b59d3fb50288591ab8e859d05d613a05a80125 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
afb99e0b681ef74eb3ca565640d54ac570062d32 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
562b3be934c65bb38687fc4b3d2e433d40cb1fb6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
7cc7ce52d89e9d7e65fc3f7e51f682be23a751db TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
727895e2377c8ede5db7edbd61c373dad57a11c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
ecd4503d374ee2940afeea81da8491d9db78f83b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
8a28ebc30ffa71929690c2de836b445e969fbb2c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
a8a5c671d211db90172bedeab7484228e0fd3f9a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
a95046d457804944a2208b3371a955fea6353f65 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
d82ff9f23e00117950de814cf93d947803fb8cbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
be07abf2738770f2fde34da26c421a7937d9fbc4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
87332ca5050e5714b25b72211ccf06a215ba57d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
6e5dda0b320e0c23929bac253ed4a21882040e4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
fba4ad90e18c2f1127d199a2b00c64b42eb42db1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
8377aa99c041f73838e43027148399f26356237e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
3c649fe0a07b216c32d0b67928fa382aeb2ad374 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
c7b91fb6dcc3db1dea8607a67b6a13c69490ebba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
257e73975b825b3dc3a2fc59a08283893ded3a21 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
6be4379b52dc19df06138ac5d52b69b18b522321 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
b1ada300b53062a37cd6cd8a3dd9fbbf51d9f210 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
8aa456024a0f69ad1a72d7fc2bf38e39b7e760e9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
48a0b6426500bc16ef1cf490728c2b20419fa834 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
17e9a001de507665e171d786a784accd358f64f2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
8028cdd18546d045eb075a995d4f2090042b2745 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
7e78ee5a13b129049a9ac5b7252b04c53e535d28 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
931269e58e2504e6365ea70a96b960f253529e4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
80271371f011b8ea9e7cadcde652cd386a11b32c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model
b6c85029e4d70ce9bae5b3b9a17682fb417071fd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantModelValue True Passed
  • Model Under Test
  • Equivalent Model
49887c98bfa53f55bf90c15e40d574a30314fd23 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda ConstantModelValue False Passed
  • Model Under Test
  • Equivalent Model