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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
a3c126c6e94b677f878fc58c3d1666e07e7f5efd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NotIn True Passed
  • Model Under Test
  • Equivalent Model
18b29c06f3c04abd8028c6c264c49e133488f366 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
And NotIn False Passed
  • Model Under Test
  • Equivalent Model
bfda6ea2009f5520e81056184c201a62639b9eed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NotIn True Passed
  • Model Under Test
  • Equivalent Model
31888188c660e07b6ee5927e7773f43148f74f34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndMultiLine NotIn False Passed
  • Model Under Test
  • Equivalent Model
59bdfc65be33aec84b6335265cea2a790fc1aa97 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NotIn True Passed
  • Model Under Test
  • Equivalent Model
400ae935faec9df6900f8346625d1d6de0de48b2 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Imply NotIn False Passed
  • Model Under Test
  • Equivalent Model
8b03c7c1c0cbd373764d84b3f7657b3cf6c7c6cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NotIn True Passed
  • Model Under Test
  • Equivalent Model
6843db2a41aa23f7f0f82dc2f943649479a6b178 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Not NotIn False Passed
  • Model Under Test
  • Equivalent Model
0ed32689d78346918a320bcd74a9dbce6c9fdf6d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NotIn True Passed
  • Model Under Test
  • Equivalent Model
4c6e97c5f450eb5140d53a2638a1dc9675dbbe73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Or NotIn False Passed
  • Model Under Test
  • Equivalent Model
b49315b71343e3202230dba4cf70726aa07c058f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NotIn True Passed
  • Model Under Test
  • Equivalent Model
06441cd9a7c41c3f40853180195eb2c42fc09ed6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
OrMultiLine NotIn False Passed
  • Model Under Test
  • Equivalent Model
d993416b90a25f9d9b72bd64ff5ff0cd10581dde TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NotIn True Passed
  • Model Under Test
  • Equivalent Model
e54d31e81f348a779e4c96d4cb016f771bc09af4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AndProp NotIn False Passed
  • Model Under Test
  • Equivalent Model
efa6aa66b6a77b3a6cb8b40c140b86408ccfb892 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NotIn True Passed
  • Model Under Test
  • Equivalent Model
962d17c59fe96933398a095cfd441905b484c4a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Boxed NotIn False Passed
  • Model Under Test
  • Equivalent Model
d03f6129f613d171c1e77153a89c75996c365d25 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NotIn True Passed
  • Model Under Test
  • Equivalent Model
27059e7b5cbd548faf1aeb4c6e188dfce8aca0fa TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Eq NotIn False Passed
  • Model Under Test
  • Equivalent Model
465efad28c9df80f62b2a5a31fdd108044af4aaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NotIn True Passed
  • Model Under Test
  • Equivalent Model
ca60ff9a96f4fe47c8650d62189dba246a70aa73 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Ne NotIn False Passed
  • Model Under Test
  • Equivalent Model
f2ee6fffb26c8b89eaf588020bb48050b3932049 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NotIn True Passed
  • Model Under Test
  • Equivalent Model
975e6de064e26d0e3a565e38391a1d20e0d9c612 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Let NotIn False Passed
  • Model Under Test
  • Equivalent Model
344a9128ff2e07ab8f60018671127b3a0a8a4c7d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NotIn True Passed
  • Model Under Test
  • Equivalent Model
d11ca44357a82a6c0be4b1a5059af6643905f66a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set0 NotIn False Passed
  • Model Under Test
  • Equivalent Model
a62cbb88311b5f2d45ffe88ba62d703aafb1f065 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NotIn True Passed
  • Model Under Test
  • Equivalent Model
262d9b6cceca6931fb8850b990aa52d45495ac7a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set1 NotIn False Passed
  • Model Under Test
  • Equivalent Model
f11f1eaf314b383f36d3995f562b9d705cda23b7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NotIn True Passed
  • Model Under Test
  • Equivalent Model
c9eee1d484b51c9abdf37d1d58c10ec3c43e076d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Set2 NotIn False Passed
  • Model Under Test
  • Equivalent Model
b1fefb5a7e6066bd46bc1cef4b63df675a4fe4e4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NotIn True Passed
  • Model Under Test
  • Equivalent Model
6b6da5b418de487770f7a8c5000bc46a7b22d4ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Fun NotIn False Passed
  • Model Under Test
  • Equivalent Model
241739ce95021c7851af7e84f25816d7ae489604 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NotIn True Passed
  • Model Under Test
  • Equivalent Model
d83676c467ac388d3fb2323758161d094084659a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
In NotIn False Passed
  • Model Under Test
  • Equivalent Model
d2db450a2e01f5de02c0233118844d44e002ddab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NotIn True Passed
  • Model Under Test
  • Equivalent Model
e44f81c8e564d6132cb9dd24b09c0a6f451d2c90 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
NotIn NotIn False Passed
  • Model Under Test
  • Equivalent Model
a133fbebb97128471c8e6839f580f788e9c91191 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NotIn True Passed
  • Model Under Test
  • Equivalent Model
b5652119e666205e667e1d59a791a1e9559b03ec TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Exists NotIn False Passed
  • Model Under Test
  • Equivalent Model
b17b80c604928cb351246181329659b306b5e736 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NotIn True Passed
  • Model Under Test
  • Equivalent Model
3c139cc965fe9f6e7ca23d26ec699e9f8d0d66be TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Forall NotIn False Passed
  • Model Under Test
  • Equivalent Model
a7818bbcde8d5a2d06b2316e28f1c63f9e662391 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NotIn True Passed
  • Model Under Test
  • Equivalent Model
4949b37d9fd29b6f447dbfe230bae7c60050d901 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Choose NotIn False Passed
  • Model Under Test
  • Equivalent Model
76ee8878651acd3c95f531a274115d83a7257eaf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NotIn True Passed
  • Model Under Test
  • Equivalent Model
77996e9412029d8d970c6f0f006fa84b5fc93a2f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Record NotIn False Passed
  • Model Under Test
  • Equivalent Model
edb06ac780227c655df446096aed7a528cde29e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NotIn True Passed
  • Model Under Test
  • Equivalent Model
a09bb6011edb5255eefd95e24fb6e4c1c4e99f80 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Tuple NotIn False Passed
  • Model Under Test
  • Equivalent Model
6f5ff1685b54a5fe0cbefabcaddf67f79e17c882 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NotIn True Passed
  • Model Under Test
  • Equivalent Model
07e2f406a8927f24ed8bbfe29d11e3b8877e879a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
FunApp NotIn False Passed
  • Model Under Test
  • Equivalent Model
1ed933b63461f7eebadd30595e0f7a1e86374cd4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NotIn True Passed
  • Model Under Test
  • Equivalent Model
03e11be3e029b1aca75893542ae03fa8ab95c71d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Fun NotIn False Passed
  • Model Under Test
  • Equivalent Model
fd838e2ae7e7b94ed65db16620619a4d2d0e3bda TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NotIn True Passed
  • Model Under Test
  • Equivalent Model
3e789044d41fa427c547636d3f7356c490904861 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1FunWithAt NotIn False Passed
  • Model Under Test
  • Equivalent Model
31bdf27f9dcecd5f7d29c96498d3d02a5bf754b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NotIn True Passed
  • Model Under Test
  • Equivalent Model
6c131c4a3cae03a8375a45cbd67db96ce57d29d9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1Rec NotIn False Passed
  • Model Under Test
  • Equivalent Model
46e51d838178f4cd1a98cd4eaec0d148d4390b50 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NotIn True Passed
  • Model Under Test
  • Equivalent Model
e05c5dc7c55e0f93c6405cae949c5e52d25c37b1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except1RecWithAt NotIn False Passed
  • Model Under Test
  • Equivalent Model
0a3695da2c634e580d5274a66760ca65670a96ea TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NotIn True Passed
  • Model Under Test
  • Equivalent Model
8a3af8aa8bb0c5e0b0cfb85f6ae56a6ccb67b07a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Except2Fun NotIn False Passed
  • Model Under Test
  • Equivalent Model
aa8f74f56aacd8cba127d67c61bf63dd97006e86 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NotIn True Passed
  • Model Under Test
  • Equivalent Model
6b279002ed7b61306ac9e2e882c982119d992b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Prime NotIn False Passed
  • Model Under Test
  • Equivalent Model
1d2355b3dcfcbe04726ad77c70cfb5a8c8ff5aa8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NotIn True Passed
  • Model Under Test
  • Equivalent Model
4b9e3f73a6bc5b81648fda6b3531ba5043d905c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFun NotIn False Passed
  • Model Under Test
  • Equivalent Model
6f4f3d0225d55708f160a27803c78d5d361ce93c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NotIn True Passed
  • Model Under Test
  • Equivalent Model
7d8dbe1223aa618985cdc20b20f638339a69a2ed TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFun NotIn False Passed
  • Model Under Test
  • Equivalent Model
6e07bbcd33ebcefad55e26801c389c1eef404e61 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NotIn True Passed
  • Model Under Test
  • Equivalent Model
5a5fa5d527ac55cd7437c031e9611a0fb86e741f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
DefFunRecursive NotIn False Passed
  • Model Under Test
  • Equivalent Model
d98e951726131b6a3b99eff68801aeae8bfc7a84 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NotIn True Passed
  • Model Under Test
  • Equivalent Model
84fa8e5e8cf245b22dd4a28eeb6d3ed106b80fc0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDefFunRecursive NotIn False Passed
  • Model Under Test
  • Equivalent Model
ec95a03f2a0b8eb704f3aa0beea5caf938c929cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NotIn True Passed
  • Model Under Test
  • Equivalent Model
125f5a556d0f67a23bf49988c64bed580da3d67f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def0 NotIn False Passed
  • Model Under Test
  • Equivalent Model
325dc959f174960e905ca34683e4cffd784e2d6a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NotIn True Passed
  • Model Under Test
  • Equivalent Model
33458ea977c443c2162e0f6a566fc94715aa2a43 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef0 NotIn False Passed
  • Model Under Test
  • Equivalent Model
2741829b487b952128b073b1ffef0f979ec10b81 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NotIn True Passed
  • Model Under Test
  • Equivalent Model
1937e622a0a3f25c24ade1e92d1a2c170241d6e7 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1 NotIn False Passed
  • Model Under Test
  • Equivalent Model
6a9ad7de355f4b3dc0e69159423c8d718a8994a4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NotIn True Passed
  • Model Under Test
  • Equivalent Model
f7592c657018913ddb09253d7ff62886f50bd819 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1 NotIn False Passed
  • Model Under Test
  • Equivalent Model
db58a1ed987fd0c9ddeb63af4a0bcd4d0469972d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NotIn True Passed
  • Model Under Test
  • Equivalent Model
d29937cb5c044b6529be7bdfa56611acee8f4011 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def2 NotIn False Passed
  • Model Under Test
  • Equivalent Model
f7d978daa45947d0a5c5169f37a9b0089da218a3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NotIn True Passed
  • Model Under Test
  • Equivalent Model
5e52530b3d78b9d39ac0c9c250e5b6d9c716b351 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef2 NotIn False Passed
  • Model Under Test
  • Equivalent Model
39d40e93eaf91c64a3d39643714ea3958373b1fb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NotIn True Passed
  • Model Under Test
  • Equivalent Model
a77461eebe295dcc4f1a57367f708c9e059ec263 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Def1Recursive NotIn False Passed
  • Model Under Test
  • Equivalent Model
f7c75686a6c6cb4fc7fca2446770c6b4e094ee95 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NotIn True Passed
  • Model Under Test
  • Equivalent Model
8b1c91b27cedadac69fbd496bbaa98cdedb768c4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
LetDef1Recursive NotIn False Passed
  • Model Under Test
  • Equivalent Model
7f5e1cc17f5cbc77a1ad8c279e321020cf7bd51a TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NotIn True Passed
  • Model Under Test
  • Equivalent Model
fb9006247bc20ccc0e84d527f9885e38f65586c0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Extends NotIn False Passed
  • Model Under Test
  • Equivalent Model
e85c3eb9cba6b918735a74ae8bea7b83297edddb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NotIn True Passed
  • Model Under Test
  • Equivalent Model
8d575f3b1c0d6edf59dac433af9f322bfc0c8eb9 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ExtendsInDifferentFolder NotIn False Passed
  • Model Under Test
  • Equivalent Model
b03e74b2c97dad01ed3966851a5bf87f24764803 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NotIn True Passed
  • Model Under Test
  • Equivalent Model
db87f4b236a1567bafaf5a99162e2be19e941ab1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Variable NotIn False Passed
  • Model Under Test
  • Equivalent Model
1b1a304e1f9f9b53dc2b42cf6787621f65af5213 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NotIn True Passed
  • Model Under Test
  • Equivalent Model
1752993caf35d9560de9b6563c74e64315357d34 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
VariableViewExclude NotIn False Passed
  • Model Under Test
  • Equivalent Model
b38e1e48bee32bd4b6a64ec4375c54aa7cddae71 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NotIn True Passed
  • Model Under Test
  • Equivalent Model
c3856e8bf3d71ea6d5176bbceb8e1e610f589fdc TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Constant NotIn False Passed
  • Model Under Test
  • Equivalent Model
64670cf9596958baff370983e802490a033746dd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NotIn True Passed
  • Model Under Test
  • Equivalent Model
f0dac87b4d1c9292d45d71afedc345b0476dd1cd TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
ConstantRank1 NotIn False Passed
  • Model Under Test
  • Equivalent Model
44fcc8e8b55384190bf6fca9f5631985ae104e5e TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NotIn True Passed
  • Model Under Test
  • Equivalent Model
8fd01396ac8afc0f116a72b1032697d3c734da15 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Instance NotIn False Passed
  • Model Under Test
  • Equivalent Model
c3556de96c612ea556ca160cd546a7662b73b719 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NotIn True Passed
  • Model Under Test
  • Equivalent Model
10851be8e8b8fc7a01a6893911c8459e48b9bd12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWith NotIn False Passed
  • Model Under Test
  • Equivalent Model
aea676f187b202d012240105be2690ba19dd3158 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NotIn True Passed
  • Model Under Test
  • Equivalent Model
242a7ab0acbf8b2fb8ed6d09b6c6125aad5e17f1 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamed NotIn False Passed
  • Model Under Test
  • Equivalent Model
39bb496c2bf14b9a946be1b7c921c7ea3691c338 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NotIn True Passed
  • Model Under Test
  • Equivalent Model
9ca29f5b316efc987f2476553c522b8cbd762ee8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWith NotIn False Passed
  • Model Under Test
  • Equivalent Model
aaf1885fd944980c7574537851ef49700098cd87 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NotIn True Passed
  • Model Under Test
  • Equivalent Model
f61ca21090bba336f2b4b11fc0acffb2f51d24e6 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceInFolder NotIn False Passed
  • Model Under Test
  • Equivalent Model
81e172031e4f1b001e3822b0d33af75b4f29e3af TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NotIn True Passed
  • Model Under Test
  • Equivalent Model
8cb8702e2ec2cd471048b56b362d6561c9789c4d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceWithInFolder NotIn False Passed
  • Model Under Test
  • Equivalent Model
b4f85256573992d543ccb3319b8c3ded6cea3c07 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NotIn True Passed
  • Model Under Test
  • Equivalent Model
abf8d5d01e207d3335728db3a45a1660ab052cbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedInFolder NotIn False Passed
  • Model Under Test
  • Equivalent Model
026906e18a7bf4405d67ccb9d20f62cc27b0cd4f TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NotIn True Passed
  • Model Under Test
  • Equivalent Model
073ed10ce2f33e14dd797a39b6812f0715275189 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
InstanceNamedWithInFolder NotIn False Passed
  • Model Under Test
  • Equivalent Model
0d0848a8ea89a2c756f30668989541dc3b4080ab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NotIn True Passed
  • Model Under Test
  • Equivalent Model
249485e3801bf280a6a762cf136979fe76537baf TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Enabled NotIn False Passed
  • Model Under Test
  • Equivalent Model
57238692821a57812a3b4a812680adaf79bfb57b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NotIn True Passed
  • Model Under Test
  • Equivalent Model
f840947e3942442b8cbb5a9bfa8f35d382c1fc4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Assume NotIn False Passed
  • Model Under Test
  • Equivalent Model
5ee665b48e25d900fcb2015b0d45b4c172fdcbab TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NotIn True Passed
  • Model Under Test
  • Equivalent Model
ceece8ff0f762b077ac04fbe31af2022e48ae24c TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
AssumeNamed NotIn False Passed
  • Model Under Test
  • Equivalent Model
498644c57aeecb484badd5c0c69670b471d05d4b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NotIn True Passed
  • Model Under Test
  • Equivalent Model
fb7a3d22f3a9316feb07a608d7e820b16d77fc12 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Lambda NotIn False Passed
  • Model Under Test
  • Equivalent Model
388bab1d4b8ecc360d0932dbe8a51ef529b5625d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NotIn True Passed
  • Model Under Test
  • Equivalent Model
d09bd560b25db813a6bf1940056a1829203261e3 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfCond NotIn False Passed
  • Model Under Test
  • Equivalent Model
7b4a885f06d597b96d164204cb9972c7dda050eb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NotIn True Passed
  • Model Under Test
  • Equivalent Model
b4487884417993be81acbab2b82db9360618cd30 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfThen NotIn False Passed
  • Model Under Test
  • Equivalent Model
ca7a948a2afafaede2915ee084f8a1466acc23c5 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NotIn True Passed
  • Model Under Test
  • Equivalent Model
d0bb26b45a914bc3dff32408becff0198f1a2b60 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
IfElse NotIn False Passed
  • Model Under Test
  • Equivalent Model
04cf7a6acf77a0768bb4c2fec0e750dfff2949e0 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NotIn True Passed
  • Model Under Test
  • Equivalent Model
99d1921f73f46860c3c4d396137092c48be15635 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Unchanged NotIn False Passed
  • Model Under Test
  • Equivalent Model
051afac4cc40ef88293c30987c9e70eb8a820265 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NotIn True Passed
  • Model Under Test
  • Equivalent Model
0ca5286b67e51a5fe57a67a516e1b92c93061e78 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
Equivalence NotIn False Passed
  • Model Under Test
  • Equivalent Model
02a0bd15ff37f334bfae1b24968e60781158e02b TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NotIn True Passed
  • Model Under Test
  • Equivalent Model
a717a6a33816c9c777442867f4ea6e63645b9cd8 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcSingletonFun NotIn False Passed
  • Model Under Test
  • Equivalent Model
56594b3977f5c3829f6815c69eefac9036042594 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NotIn True Passed
  • Model Under Test
  • Equivalent Model
d601f04dead1452f7d80499e2a144203c62ae3ba TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
TlcEval NotIn False Passed
  • Model Under Test
  • Equivalent Model
cbed8bd59f00ab70862ebbe4d383c02890a757f4 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NotIn True Passed
  • Model Under Test
  • Equivalent Model
1beaa4071871a9f098f4d61628f90451b40fba59 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagBagIn NotIn False Passed
  • Model Under Test
  • Equivalent Model
8784cc61a3b2dfe30caa2ce71951dd8d64a6fc0d TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NotIn True Passed
  • Model Under Test
  • Equivalent Model
93c24c6d6041f64ad6039bcf33e9046af0605900 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
BagCopiesIn NotIn False Passed
  • Model Under Test
  • Equivalent Model
f154551ae6849dcb01e0e6ba9d5d64902fdbbfbb TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NotIn True Passed
  • Model Under Test
  • Equivalent Model
5b464cc94857e13ad5541617d4b27d493d9dc459 TLC with reduction strategy:
  • Configuration: Replace `-workers 2` option with the `-workers 1`
SeqAppend NotIn False Passed
  • Model Under Test
  • Equivalent Model