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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
ea219aa5488bd7cc5f50ec4f3dc05abb6b769e37 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
faa63f5ef9acd4f36570de01f560861510f62c79 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
da6d7e0dab1b6b8219e3f38215d851819e6eeb1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
3bbb9ee69197f04c51726a8c3456445d815707dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
df7484f517ab993a744dcd0a2052b5af7b5af075 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
e04fa67d477d136efdd11c6634137f98906bb940 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
bf95133a74181b6b7233f76031f74405c62f3e1e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
20ed57c48d0b6fc52104b87d539334856b633dd9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
6e71523011b4478060e4ad2bc6ac1e5e69f9a43c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
e34e0bdaa93098dc8845e100598507685d313833 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
dda7a383d6ec07772949dcc6774d7b70af6da85b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
21e1dc311772e241ef553c0e5b0f81d7d206c804 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
0c0d9e0a818ead8cc40e77a83676709b15ab1fa1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
9943d9d454d427172a76157c709584e10aed8aa2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
ae5ad57ba85793adc0c483eb929906f1cc415430 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
da490e03e55316989e78e00a48feff817defa4d1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
f856c25b5734acb377b302417c7f29b777a7aaeb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
07686f0c42d95a0c954343cd25572d5cf094535a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
eadb122350e5f71d3aec957b93cb3ef700f8b62d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
3b46ba655b4015df5b14ca0a64a414e2259b212e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
389943a63d5fd97a886b55e2145e91038029650e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
256b7ad5ebe80c1cdb1486537e5116e9e323db3f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
e47efe2db12c257d7e79dcdf884e3e3955954e61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
c3c94437072748c173cceccd1ca42ba72f922752 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
ed855dbc120b28d44c82fe155f70ebac25f9d2c9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
d988af4b4c9903b037ba8bdcc915fc5d0caf6507 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except0 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
05babdcdbad556c986e3537fa9a367c25fd40d67 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
9570ec38445c767dc0e2acc5f122cf165effdcb8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
b9cf009979d8a03f22eb86c6abfaeda788e9c246 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
173ea86364bcb85ccdc7487337d495d1df677022 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
fb35e43220252353d940e3dd386b776841c0390a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
fa3220a940583cabb8580ea8826d566c01d66cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
ccac5f37bb3ccfa547e4c898fec98e66edd3ba36 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
ac306376ba236a39f8e4833e6422432467d9c442 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
91d7283fb0c5f9532389ef30fa6eff7b5760c23e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
641a34d7cef95c3d7ea9155f323c1630c2586203 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
92222c202c0645c5dd3bc3445df0c484fbb170fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
c87f5bb4489134a6c3e845646942ea1d9d35cb71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
2abda385cb6b07852a8ab1056b5062e815f8cc10 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
ad0c222680fa06638f1bd6e82ba13a52f81f99cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
9ad96179d79ccf6b242ae29943ddc7083c23d8fc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
93e0a07d6e177ff462117ac15f7ea0b8382ea0fe TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
d0678f02716bdb92a13c998e8d8413319d654c40 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
374a46360aa4c4d52435a22598a7d8eeb3f6aacd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
e44c8c91146b3c381612ec05fab8d6088c8bca34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
cc2d24a4f58b4db0a507794c59133f4327a2fa26 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
00312cd18ada30ecb766e1cf7b300520fe3d363e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
76bc59682be24ca095f98ecf93e1e49de38f81f7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
adea65f0ccd60c5c326b071ed87005e9f1eb7c82 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
7fd83c7638cfe8ca333f29cae4f442a667ad0e4e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
e156ce744c7c4857e562905dfab2c64fee31c8cb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
b6d8f5a7f0d3e260cd663b7765011e7c52fb0e3b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
cc207790f52d9d9d3db5aefb76947cdc51467d90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
23009c662e4e18915f7dedde7b28e2cfc76a97ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
021fdfcfdd933523a368c1a80b6fd8b843b634ad TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
94f093d300a256a3cd6337716d016daa790327f3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
130a4966f5af13949337265c2dd3836cf5635dd3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
56c2846e5e9ad08dd0aed613a131048879b31656 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
aa1d1b683cd8e4f6bc2cbc9d5f19ed369b23e7ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
b4712b0891c3d5a1a4c6757e1da2f806c4aa7202 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
6f34370f6403c3353e309a78a8246664353a4495 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
deb8f263329a6a3736d7da877ee5d497a22760ae TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
d4fa3a10191bdfc033d9581b6f4bf5c62fd8dd49 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
c7e5861f9488ea1049893ca57d70a755d478c118 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
780dd8b45c87b767023b6f2b3bafd01f08fb0438 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
8c22c3894bed11a59c5d8f9310c38b18390eda06 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
963c4a40863d614acaeeb997a2343934b2192424 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
cd0f4a252d358a9483032495933572c9d1001e3d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
57b7fc1ed032869b5458b8b9ad284a580a123372 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
43b180340b3fa0354e4527e89e27e4196a8f170d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
beda259e91296a30df3499f5759da0a1558a7a7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
6114ef893c3949678a9272a4960f897c99c4c98f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
233bdd5a7fd5ea7035869e0d5270ee684824923c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
59004f3755a267e2ab05adf6d90dcff90cfae775 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
cf3bbec477eb8c880468314671605296f43be03a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
138be04902aad07eeb184c84e9ecec6a19e28957 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
89db7fc550eae7ebc8b3f4907adf951651cbf2d0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
4b6e0addd15a6db642571a347eded2c6cefca67b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
ce979afe30e46f199e6fdf2e7fa68655e9991859 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
619e1dd250dbc0cbd6bdc4ed0177939c040499d2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
6fad27853999aef3c0028ea29b0e14621b561955 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
daf3491098680e8b1361beda083eedb33d818c93 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
e6ebfb535d14e8706f72abd19f3ef53dbe700ca9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
eb9eba34b12e7987b8d7ce23d5c693078dcea377 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
aff3185829ebab708a6d5d636e533fa40dbeb3cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
9bd50ad338c04265da018e0d21f734b83480b22d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
5791b4acc91fec06041583a86762e3ea965a53e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
9d484aa6bcb633b737c8e31188e9a1b7eb2a6324 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
c78c32bc596906a12f6e11473438628ed53c6b30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
703f2e558abc4006c51e9bf89e260d624f89aad7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
b50f8c355e1ec2d07aacccc8344e56ae46000f5f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
60ef7b4e353293a98980693dbcd187c14cdf0c50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
da2961c4b7914ffbf5744c36b81fb1f13f65a7b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
0735dda03af2bf0e82534e790e09a6ac507977a0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
05205ecabf40e98953ac964649b2b154ca5cb0ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
72be26b29df4ee33fccc699b8f59bc527d4c9baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
3dd9bce2a0a558426842a52d518df276086c8d73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
fcd9dbd73184f486983d925766ffb3acbd6d57d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Domain LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
92ecadfd864f20c52b7979a351ea6f443bbdae5c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
092c8bcd606be3ec534c76307c018b3b1fe526ff TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
70913383e7be78c6f44a4d10ca24062228df75b9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
c8e4cedc62e46a47effd6ce4175c8dd282029f71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
675ee6a4b81acbf75dc88065822906c2849efffd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
d730a90a829038e2c5b728cd6219a9dc250e0cf2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcExtendFun LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
2499e26f1a10e3832165b9571d85ab5c1bf92587 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
f86b113b965ab2b8554b75a666056fc532a73021 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
99cd6c3a4ea22426cfe596d148650e550d24d922 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
4491eb9a2029a4252a9561d0e7b41e5affe6d29a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
b04ecf423d67dbb68794ac35a02b4e8b2adb9432 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
9a4769260f27feded5be913e1f03c119d6af809d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn LetDefFun False Passed
  • Model Under Test
  • Equivalent Model
8c0a92c872081cd26be6aa7f7bc7c7f0669398e5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDefFun True Passed
  • Model Under Test
  • Equivalent Model
b23ef2c02836afb4b8bd172e9e5c7f16a0bbb719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend LetDefFun False Passed
  • Model Under Test
  • Equivalent Model