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 Eq; CLI Option: -workers auto

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
749d9b72aa06488161e6e26f822cf3edba69add3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Eq True Passed
  • Model Under Test
  • Equivalent Model
7589ab97b94f90ee63dae943f2733c7971b8a3fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Eq False Passed
  • Model Under Test
  • Equivalent Model
83c8413bed34d74317c328658331e45e5ee45aa1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Eq True Passed
  • Model Under Test
  • Equivalent Model
c86619f194c01ee25813b7dba183fa281880f63d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Eq False Passed
  • Model Under Test
  • Equivalent Model
2a4b52d9f46928d93e85ee2179f9d25e43e1d640 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Eq True Passed
  • Model Under Test
  • Equivalent Model
81d1dd2bac21b372ff6724601e61148765cf6748 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Eq False Passed
  • Model Under Test
  • Equivalent Model
6dd95ece3e14552377027b64c00d08a3b9a48f0f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Eq True Passed
  • Model Under Test
  • Equivalent Model
ddefb7e4c7e3e0ca770b4e46d22caeb76940bb2d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Eq False Passed
  • Model Under Test
  • Equivalent Model
a3a4aca1e44590a2415e180a5679a51ad3a9384f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Eq True Passed
  • Model Under Test
  • Equivalent Model
1ffc3865acdfc3f60ddea635e008deadf6f85e0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Eq False Passed
  • Model Under Test
  • Equivalent Model
5e02cf3e06b04ec02a0bceedfe144321674be7ef TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Eq True Passed
  • Model Under Test
  • Equivalent Model
152c9e4be828ffcee457ab23b0f3dfb33cd46d8d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Eq False Passed
  • Model Under Test
  • Equivalent Model
2ec20b6e662b7f714e5fcb06a2a138b5b7995987 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Eq True Passed
  • Model Under Test
  • Equivalent Model
168e41e0e8f7b078f716857ec7313ce7a40d3000 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndProp Eq False Passed
  • Model Under Test
  • Equivalent Model
1f4961c2917388c9a6eef51e1af748d611edb6ee TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Eq True Passed
  • Model Under Test
  • Equivalent Model
4a7b473ba6f6231a2628a776508e34a3958bb08f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Eq False Passed
  • Model Under Test
  • Equivalent Model
38c0151a450e76cb7c8b38634b40ca960e007da5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Eq True Passed
  • Model Under Test
  • Equivalent Model
23d3f0f07ee6b20e7a712296d85814ec7a00e187 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Eq False Passed
  • Model Under Test
  • Equivalent Model
1c3e82c86ab953afd57b52952bf8b71e56b1d113 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Eq True Passed
  • Model Under Test
  • Equivalent Model
c0fcb5f764bbddc972ca7588bfa2071a0a1efb5b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Eq False Passed
  • Model Under Test
  • Equivalent Model
bfbe0ad7ae8ef8fbdda86eb05d69069cf7cd1089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Eq True Passed
  • Model Under Test
  • Equivalent Model
e73d1f9ecff2bb0216ccb28919175f74d3ac53ae TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Eq False Passed
  • Model Under Test
  • Equivalent Model
34e497065004a26911f05694a3ce5544e686cf3a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Eq True Passed
  • Model Under Test
  • Equivalent Model
cd9cd35683681875e43cd8de8127f70f59a09cab TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Eq False Passed
  • Model Under Test
  • Equivalent Model
bc034b6357b4b079d85d12c94e05f98004b2fc6c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Eq True Passed
  • Model Under Test
  • Equivalent Model
461c8a52a9517d8cf02579734179c60b6089946c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Eq False Passed
  • Model Under Test
  • Equivalent Model
1ed654a25f2d184e11df8e1260f2408bfac4a398 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Eq True Passed
  • Model Under Test
  • Equivalent Model
54bfdc3434b97f7ad6a8fd8cc9a27507b2a2b62d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Eq False Passed
  • Model Under Test
  • Equivalent Model
e521df0cfcd8eaf69c0de68dcffa27447c095e7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Eq True Passed
  • Model Under Test
  • Equivalent Model
5e35ef605a1bf2c0161cf17db6cc59e836f187cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Eq False Passed
  • Model Under Test
  • Equivalent Model
52e748e45566ac9b941fea561d5dbed9f197eca9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Eq True Passed
  • Model Under Test
  • Equivalent Model
e54325cfd362cdb91c030c2cf01aa3b90cb616e3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Eq False Passed
  • Model Under Test
  • Equivalent Model
b1abfe3b5122d7f3365cbbed56f6e29eab4ae8c0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Eq True Passed
  • Model Under Test
  • Equivalent Model
1d262a4952e0bfe6fb0cc0e471c8d4b69b1983f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Eq False Passed
  • Model Under Test
  • Equivalent Model
1f487200b759ca519a6f9c35985ac69f342231f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Eq True Passed
  • Model Under Test
  • Equivalent Model
37052f771f884669fda8b1a0d312d7510a23a643 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Eq False Passed
  • Model Under Test
  • Equivalent Model
7849f7ab69af94c8d56058bba8e49d443f1d2def TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Eq True Passed
  • Model Under Test
  • Equivalent Model
42b58ca204a1a8b34cc4a7428b7f680892abc97e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Eq False Passed
  • Model Under Test
  • Equivalent Model
1c34ef2eaf604c9921565278185fb14053b1f5e6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Eq True Passed
  • Model Under Test
  • Equivalent Model
fa49ebd774d8c44c3095efc77af4184ea83223d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Eq False Passed
  • Model Under Test
  • Equivalent Model
38540dc9cd16f95687705356ac6f2a2f7874b8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Eq True Passed
  • Model Under Test
  • Equivalent Model
1180445c9bbb150e662cf5451d785416c62da1a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Eq False Passed
  • Model Under Test
  • Equivalent Model
ae60609aa16937f4da01e48f801bc1d924e4160b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Eq True Passed
  • Model Under Test
  • Equivalent Model
949f2cdcebe4f253bb2f3b0c7730d0d322c98203 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Eq False Passed
  • Model Under Test
  • Equivalent Model
4657865193ecfcbf291d0562a8854b1c2c386142 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Eq True Passed
  • Model Under Test
  • Equivalent Model
a03d0ccb741ca5c7f494ae0bfc3bf6804c0894a0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Eq False Passed
  • Model Under Test
  • Equivalent Model
db243cfa121667a5342c212231be117af20f3eb2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Eq True Passed
  • Model Under Test
  • Equivalent Model
9416716884795cade07f7f89a478fdedd045385a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Eq False Passed
  • Model Under Test
  • Equivalent Model
f8c18d3f0e40fd9757b8513b886d293a39e82761 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Eq True Passed
  • Model Under Test
  • Equivalent Model
965111c374f2900b9157ccda866e08dac36934b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Eq False Passed
  • Model Under Test
  • Equivalent Model
01abf160bcd5c18e5609bbcf955d41e489fd190b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Eq True Passed
  • Model Under Test
  • Equivalent Model
540341bc7d0f1eaefdfb13446d6c1a40a8919c46 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Eq False Passed
  • Model Under Test
  • Equivalent Model
1d874adb0ccc891196ebba89772ad2d2aa148ebc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Eq True Passed
  • Model Under Test
  • Equivalent Model
003d426388428ba1a08762fe25a1276160bf3022 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Eq False Passed
  • Model Under Test
  • Equivalent Model
a524c360668b41132ffc5e68f516ee4ddba97c0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Eq True Passed
  • Model Under Test
  • Equivalent Model
4d93922745eb1d47480faee0fad887e2eda21938 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Eq False Passed
  • Model Under Test
  • Equivalent Model
d20260750e73243054ddf363ad98293ce38844c5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Eq True Passed
  • Model Under Test
  • Equivalent Model
7e864ca4d650da8d08b404b6d8feb89697019cb6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Prime Eq False Passed
  • Model Under Test
  • Equivalent Model
52f27631b6c204e431a0aa12280fafa0570745c3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Eq True Passed
  • Model Under Test
  • Equivalent Model
f8039eac0d3725a882c9eecd6fea9340637e19da TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Eq False Passed
  • Model Under Test
  • Equivalent Model
e9e3c5d4ad1be3a7311619bcbe68e20df2966224 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Eq True Passed
  • Model Under Test
  • Equivalent Model
3102076bf9e01bff47eff8043041f5737a565e49 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Eq False Passed
  • Model Under Test
  • Equivalent Model
81b92ca6cf120c7854496cf0e9e1bc8d9bcd36e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Eq True Passed
  • Model Under Test
  • Equivalent Model
2e7e688d65ff4bb60fcb5efd2a9593be109ac913 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Eq False Passed
  • Model Under Test
  • Equivalent Model
057193597c3b51cbe5df8ac58a810c193d71f6a8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Eq True Passed
  • Model Under Test
  • Equivalent Model
5caa59329061047deaef94d38082a24a5e3c5514 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Eq False Passed
  • Model Under Test
  • Equivalent Model
90fde079425bff9dac77e85212f9a48c803c761f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Eq True Passed
  • Model Under Test
  • Equivalent Model
893c33973a8f25d2a5b9a611799970275cb9a9ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Eq False Passed
  • Model Under Test
  • Equivalent Model
2fafed57c169ddf24de504592ddd1b13ae28dba4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Eq True Passed
  • Model Under Test
  • Equivalent Model
709e9de25c16507a4b76360b39240ba42a553dcf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Eq False Passed
  • Model Under Test
  • Equivalent Model
37b084e704b7966b66c07dc9e58fc319e74f7ac9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Eq True Passed
  • Model Under Test
  • Equivalent Model
dd289acb782c6d4f9f299c5398de4cebe123952d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Eq False Passed
  • Model Under Test
  • Equivalent Model
d17c739841db7a9f0b4300dde95215ca8ab9dee9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Eq True Passed
  • Model Under Test
  • Equivalent Model
41eb600197f2ef5a7b08f4d8e65e7989ee118f77 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Eq False Passed
  • Model Under Test
  • Equivalent Model
ac6ffdcb68da0fbd79b4b540729329988d7e232e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Eq True Passed
  • Model Under Test
  • Equivalent Model
477cb258072f78c2fec0618e10217dd1d68eb876 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Eq False Passed
  • Model Under Test
  • Equivalent Model
92102c3378d1323593bbbc531eb36c301185c1f4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Eq True Passed
  • Model Under Test
  • Equivalent Model
9893eb3f0e885fe67ef42ac90b3bd549ddde4007 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Eq False Passed
  • Model Under Test
  • Equivalent Model
019cd145b43397b9e94c25ed9b1937d908214ed3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Eq True Passed
  • Model Under Test
  • Equivalent Model
9808c7c51a3a7ba1088d74e9a85c3607a17873d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Eq False Passed
  • Model Under Test
  • Equivalent Model
4e664a0973f36c8047368b35bfa5da5dd51f28aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Eq True Passed
  • Model Under Test
  • Equivalent Model
2ff95a9797520b6592de515ece37d1485667eefa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Eq False Passed
  • Model Under Test
  • Equivalent Model
80e5e0c86b40326f49529fbad1e2b45bb0770619 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Eq True Passed
  • Model Under Test
  • Equivalent Model
60c7700c8b10add28f78d40744dde65f6b1af8e7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Eq False Passed
  • Model Under Test
  • Equivalent Model
73cb63bae064726e77855bd32dd6562ff4697965 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Eq True Passed
  • Model Under Test
  • Equivalent Model
46d1258f191f8e4c42a12b62b37662e6dfd002cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Eq False Passed
  • Model Under Test
  • Equivalent Model
fb240ff5e1bf90aa0c549b3bfb1c94ab0d2b10bd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Eq True Passed
  • Model Under Test
  • Equivalent Model
9e9d6d3d242ce71897ed438dd9a405431bc2ce8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Eq False Passed
  • Model Under Test
  • Equivalent Model
710fb0a1e6120e24e974d1880a8670e4ce17cc07 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Eq True Passed
  • Model Under Test
  • Equivalent Model
28234d140084eb8a192d7b5c34542cd90df1cba1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Eq False Passed
  • Model Under Test
  • Equivalent Model
66bc19bbc6df7dae609e9dfd6ca172feeabc8cf8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Eq True Passed
  • Model Under Test
  • Equivalent Model
30c7936490e44356e23fcc46c8865a41d801ac8a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Constant Eq False Passed
  • Model Under Test
  • Equivalent Model
b7ee7d8685eec08c30d3f74d93a04d0f9308d198 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Eq True Passed
  • Model Under Test
  • Equivalent Model
8433ee3142ddb7d62eb019e4942b4cc646819883 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ConstantRank1 Eq False Passed
  • Model Under Test
  • Equivalent Model
d35d52e7990df17f5f9a72fb359ffd070fdde7b2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Eq True Passed
  • Model Under Test
  • Equivalent Model
b252f298e550dd309b8a9299b6a5ed5f4557e1c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Eq False Passed
  • Model Under Test
  • Equivalent Model
78e45645e96a17ab77152cc527d77bd1c6ae039c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Eq True Passed
  • Model Under Test
  • Equivalent Model
29480608da4081534e9c060aeccb97eed33c86a1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Eq False Passed
  • Model Under Test
  • Equivalent Model
82326037af85fe6a851f5fcac0bbdbce2575abbf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Eq True Passed
  • Model Under Test
  • Equivalent Model
1052699b655cf7051e77519d4fa8781a1936fd71 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Eq False Passed
  • Model Under Test
  • Equivalent Model
b07d70b20ee849cfa146bd82365a565311e07f42 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Eq True Passed
  • Model Under Test
  • Equivalent Model
d57d388693ce22bcce14fea48e426deb8f1cba43 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Eq False Passed
  • Model Under Test
  • Equivalent Model
380060928f5402c8621ab86c36538ab3545835c1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Eq True Passed
  • Model Under Test
  • Equivalent Model
97ea16a727b87019fcc9a83193c8339025cb95d6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Eq False Passed
  • Model Under Test
  • Equivalent Model
0fa345d567b0a887bccad0c3e5ebb5a78f3ba7de TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Eq True Passed
  • Model Under Test
  • Equivalent Model
995f6f9a8ce09bb71e2c9005d3e9f3a62a75deac TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Eq False Passed
  • Model Under Test
  • Equivalent Model
d112a61eef2ce987bdde11fd7db5a90edc511610 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Eq True Passed
  • Model Under Test
  • Equivalent Model
40bcca5a0f167eb47ab0e744e0eeff957367e089 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Eq False Passed
  • Model Under Test
  • Equivalent Model
5f7884c128ebffec8a1c2e902c471de5309b2882 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Eq True Passed
  • Model Under Test
  • Equivalent Model
d2d9a7a9d6d6950e7d978510e63e8d756f6a2f15 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Eq False Passed
  • Model Under Test
  • Equivalent Model
4af7f648f8edd44cc5ffbed1ff5f2bb3a6b7bd6e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Eq True Passed
  • Model Under Test
  • Equivalent Model
042cd8fd287027eaaa077f1d8c5c46e93ee3e766 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Eq False Passed
  • Model Under Test
  • Equivalent Model
6afe6eb81205d2b611bb788ab2e266453c586505 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Eq True Passed
  • Model Under Test
  • Equivalent Model
a4a73b80fe05a478b1e291d551e090d83327804e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Assume Eq False Passed
  • Model Under Test
  • Equivalent Model
bb6ccadc46f0ff4f87b1b32761f300acc4d8c19e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Eq True Passed
  • Model Under Test
  • Equivalent Model
6ab5182b81882b0a8914cb49c9ea6d90078bc947 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AssumeNamed Eq False Passed
  • Model Under Test
  • Equivalent Model
07637a8025d151354c620205b9051960a51b67fa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Eq True Passed
  • Model Under Test
  • Equivalent Model
1820146ac25ca6bad9389cc87cce847996164a64 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Eq False Passed
  • Model Under Test
  • Equivalent Model
9c6b3da16f0072e30a021f8e2e191fb3e6c7cf7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Eq True Passed
  • Model Under Test
  • Equivalent Model
64257559a6a62ba11cee60b1af4859093cc29724 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Eq False Passed
  • Model Under Test
  • Equivalent Model
5cfa5396217c8fa6b33e235e19c8db362b379bea TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Eq True Passed
  • Model Under Test
  • Equivalent Model
8d07c5d01722007aa13fb936bcc1eb25814beefa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Eq False Passed
  • Model Under Test
  • Equivalent Model
ef25ea32cf727c48361c8ef52ece16c6d631e3aa TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Eq True Passed
  • Model Under Test
  • Equivalent Model
9480460e66d4fa5c21549076c818309300f2953e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Eq False Passed
  • Model Under Test
  • Equivalent Model
7a6c9a9f218a41e0f6bcef88ebfabca3f3c6b605 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Eq True Passed
  • Model Under Test
  • Equivalent Model
6a904bd1ab6513c8b749c1878b0a1c80902c73c9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Unchanged Eq False Passed
  • Model Under Test
  • Equivalent Model
96fd5e9d19933fbf09c6c60033d3f05ffa3eb0f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Eq True Passed
  • Model Under Test
  • Equivalent Model
1685a638344966c0a8a078a7fd86e16176141a0a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Eq False Passed
  • Model Under Test
  • Equivalent Model
52526ab1b9fb2ff4f146d4830baa9590ae8e7eff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Eq True Passed
  • Model Under Test
  • Equivalent Model
7d153987046fee9dad1377932e48771d26cb9a0e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Eq False Passed
  • Model Under Test
  • Equivalent Model
6fabf884207fe3ad524725e3dddca9f53d7e7796 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Eq True Passed
  • Model Under Test
  • Equivalent Model
06ac5dc5119146418e6bface03206033aa52b561 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Eq False Passed
  • Model Under Test
  • Equivalent Model
93696c4a4e042e04e8b53da65b65f5e582d5f9f2 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Eq True Passed
  • Model Under Test
  • Equivalent Model
bf6acc4d741ace58b822481bef4aee98d57b914a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Eq False Passed
  • Model Under Test
  • Equivalent Model
98a366d35b2b2b04eb7043b04125fa6e368b5594 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Eq True Passed
  • Model Under Test
  • Equivalent Model
45ac125906af512897f5569e4c8d73151994bd8e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Eq False Passed
  • Model Under Test
  • Equivalent Model
681de68c1b863b8182461c1dafca512f5bf4136e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Eq True Passed
  • Model Under Test
  • Equivalent Model
40118fe8c78435f03a2e53ddd3078a8f1347e368 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Eq False Passed
  • Model Under Test
  • Equivalent Model