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

Id Type Case Feature Plug Feature Check Deadlock Test Results Test Models
509d4e15c56a59f996a47414637c23d00fae1221 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Unchanged True Passed
  • Model Under Test
  • Equivalent Model
8f91bb099792af1f0b4645e7c47d42cee6fcea09 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
And Unchanged False Passed
  • Model Under Test
  • Equivalent Model
65aa7c0f6edfc98dad04638ce1356a51bf5f8c92 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Unchanged True Passed
  • Model Under Test
  • Equivalent Model
bc5e3c21eae89d409a881173157ed14504758575 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
AndMultiLine Unchanged False Passed
  • Model Under Test
  • Equivalent Model
3ff2583db16381c2ea44722ba3e6250750bace7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c7d58dcd795f2b41e352c2d17e25e1523f88273f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Imply Unchanged False Passed
  • Model Under Test
  • Equivalent Model
b8146682d09dcfe6f3981f7aed66431fcb4a3cb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Unchanged True Passed
  • Model Under Test
  • Equivalent Model
655da88b807a84565ff9a05463e99da1b46e39c8 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Not Unchanged False Passed
  • Model Under Test
  • Equivalent Model
8a0eb00fc955aab0dbe1080e4da1ab945923249e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Unchanged True Passed
  • Model Under Test
  • Equivalent Model
f593b6a02924450c5f0984f159da299a028c55ca TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Or Unchanged False Passed
  • Model Under Test
  • Equivalent Model
fb3f8ba80738dd6e2da735249d38d2df8ca45637 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Unchanged True Passed
  • Model Under Test
  • Equivalent Model
bb29029e71fc16294c7215b47aef93eb847c3bc3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
OrMultiLine Unchanged False Passed
  • Model Under Test
  • Equivalent Model
86781096791fd7666f8d8a5d24a66eb058ed7577 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Unchanged True Passed
  • Model Under Test
  • Equivalent Model
30f4d00c1a2bcfda9b66d679a59c82cf48a62db5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Boxed Unchanged False Passed
  • Model Under Test
  • Equivalent Model
4b8b92eb9e632d44660398d59da8382f6654c24c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Unchanged True Passed
  • Model Under Test
  • Equivalent Model
6c1f773284fcd33bd1949d94e7f495e211057357 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Eq Unchanged False Passed
  • Model Under Test
  • Equivalent Model
98d60e049a65f8c7bc84f360da48932c0bc6756f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Unchanged True Passed
  • Model Under Test
  • Equivalent Model
ab8798399782cfb23a67f0b6f9a301ebfaa4f792 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Ne Unchanged False Passed
  • Model Under Test
  • Equivalent Model
1beb4450798883b2c567a3741f276b342e831245 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Unchanged True Passed
  • Model Under Test
  • Equivalent Model
94ad2cf0a374b23960b958461efb2ddcfe1eb34f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Let Unchanged False Passed
  • Model Under Test
  • Equivalent Model
1225566decae81e35ed7a077de34f95a4b5a0b79 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
760ff81c9eac6f1df558be8b2731806bb502edb9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set0 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
a6e1bdd7ce9611cb5687a29b54b9c03b45dc3235 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
72507bc9f92f60cd4bc778d594329384a3e6bba9 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set1 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
a64f0567e1158673ee081def6c377c622ac262ff TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
266c95234cab3f30bf396646d25a3edabb06464b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Set2 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
d02c981725a8703ea66352a9b5464727d1674e03 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Unchanged True Passed
  • Model Under Test
  • Equivalent Model
cb4beeb03415967c9350343ea125a2a5f41cc33b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Fun Unchanged False Passed
  • Model Under Test
  • Equivalent Model
6d58fab5cb65fab1b7e68c36f52305f64dd46a9f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Unchanged True Passed
  • Model Under Test
  • Equivalent Model
aa46890ecf759d5d3cd9d2df52b628c6c63796cd TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
In Unchanged False Passed
  • Model Under Test
  • Equivalent Model
5b8b01b2e95b695513735420b1145e9618110f95 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Unchanged True Passed
  • Model Under Test
  • Equivalent Model
3a39f4b4f3fc7538e5ad1ef99a1e1ef15f845390 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
NotIn Unchanged False Passed
  • Model Under Test
  • Equivalent Model
d53ebbb5f609c71642cec5c52eeec93000ccaa66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Unchanged True Passed
  • Model Under Test
  • Equivalent Model
30e70b63c8550db32ae838a9cf2ab0ec627bcd44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Exists Unchanged False Passed
  • Model Under Test
  • Equivalent Model
98a5b9fad7e0432b6a69f9d3f284c11c64853124 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Unchanged True Passed
  • Model Under Test
  • Equivalent Model
8d76de3e795ce649817d61f3514fe746987319f1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Forall Unchanged False Passed
  • Model Under Test
  • Equivalent Model
cfb903f8eeb71a5ef45246d5131cb0f5417acceb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Unchanged True Passed
  • Model Under Test
  • Equivalent Model
f939dce12322c2dfe966e840dfd1682b7d3d8c6a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Choose Unchanged False Passed
  • Model Under Test
  • Equivalent Model
0eb247aa92badb98848366f5d12f9aacb49523b4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Unchanged True Passed
  • Model Under Test
  • Equivalent Model
a7936a64ceac2858c77d2e167329d6a5de7a0f1c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Record Unchanged False Passed
  • Model Under Test
  • Equivalent Model
7cb4c9c9da6e727a9a290e4b7fbcd4964fadecf0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Unchanged True Passed
  • Model Under Test
  • Equivalent Model
f00cefb100119b139f8a2dcccba5f40546c40713 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Tuple Unchanged False Passed
  • Model Under Test
  • Equivalent Model
a7fe55297588f07ca3ce58b53c149cc25e7278eb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c603676bf07621113e825bf4e167a7fae8b105a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
FunApp Unchanged False Passed
  • Model Under Test
  • Equivalent Model
b8e400c8ef4cc4a1254a5665f501bab4ca7efc20 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Unchanged True Passed
  • Model Under Test
  • Equivalent Model
8628e8c6ae33f957ad20fbdda4e4c504b4b16d58 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Fun Unchanged False Passed
  • Model Under Test
  • Equivalent Model
c0947ebb528d657fa658bc041742faf2618e505b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Unchanged True Passed
  • Model Under Test
  • Equivalent Model
fbaaa9742fce3d101012870b0a3aa16830a6864b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1FunWithAt Unchanged False Passed
  • Model Under Test
  • Equivalent Model
dbfcf371acb842fd3c2378a9732b939568f9406c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Unchanged True Passed
  • Model Under Test
  • Equivalent Model
904edd87f012171d8b29bfe7065038bdfca9c661 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1Rec Unchanged False Passed
  • Model Under Test
  • Equivalent Model
88b9f3d1605c36294fcb2fd528a6bb1b51d9f553 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c7f3f916a0a5d37dfca9320097ed98223d4d9c99 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except1RecWithAt Unchanged False Passed
  • Model Under Test
  • Equivalent Model
804de8fd0f2f96bf908682d5a86f845897dd8b44 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Unchanged True Passed
  • Model Under Test
  • Equivalent Model
8a24b385c7d4b3270b2ed540d78afda6cc17b7ec TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Except2Fun Unchanged False Passed
  • Model Under Test
  • Equivalent Model
980aae0ee81caef213c944057303210144b176bf TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Unchanged True Passed
  • Model Under Test
  • Equivalent Model
8ca8b377a38fcb233b698b422350f326718a6dcb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFun Unchanged False Passed
  • Model Under Test
  • Equivalent Model
1141c61edd0e3de69613d026d2688c6a7d9a8430 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c9404a867961c56761dae054d999f35df056db76 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFun Unchanged False Passed
  • Model Under Test
  • Equivalent Model
6b096450e16f2e3b08ffbe77507e0fb5135fcf78 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Unchanged True Passed
  • Model Under Test
  • Equivalent Model
7f296a8f83dfbdeeef431502ffcc2b64ed09f7f5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
DefFunRecursive Unchanged False Passed
  • Model Under Test
  • Equivalent Model
6895239a431aa2af069efdb1551bb5f15dc53ced TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Unchanged True Passed
  • Model Under Test
  • Equivalent Model
edddbff37597536715a806fdafa5c15e566aa80a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDefFunRecursive Unchanged False Passed
  • Model Under Test
  • Equivalent Model
899276cd483ce1f9a3edd540647c236339652a29 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
90582b18a1de5a51e533aa10b954382f4965bd2c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def0 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
3f3546f847de7bf9962f1204f9e6703c759f974e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
cfe8e3c648b55c0d16b8724d8207f1d1076d7896 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef0 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
73c9d759028584c17fc78e9a5f6efda335a59a90 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
7f99febd63061e56eaa156e164930827ea0f6de0 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
0a31b014a53d58c7df382891e2e30ce23187bc2b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
b809afc1956dd61f3903d56d51f2a3d3826955bb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
c0eb8184649ccb70d8b99b0dbf52cacf18330c7c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
d6e1e9e6ff053b3c9265c2b682b09d2ee5c01908 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def2 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
dc899855ae3ba6c2d6109f922ec6c73b1b64b4d7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Unchanged True Passed
  • Model Under Test
  • Equivalent Model
e6df8783e6265a0fddc8f3f27f222ff405b46909 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef2 Unchanged False Passed
  • Model Under Test
  • Equivalent Model
b08847329f7bf4cbb644727e9774292a82e1e4c6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Unchanged True Passed
  • Model Under Test
  • Equivalent Model
5eed89d87658d9d536cec20bf13bdcc644c2fc4a TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Def1Recursive Unchanged False Passed
  • Model Under Test
  • Equivalent Model
ae6dcf654f95729c0b6d5545689f4623b54f227f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c0312456102951ad36c7fea3dee5fbd7363f05d4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
LetDef1Recursive Unchanged False Passed
  • Model Under Test
  • Equivalent Model
f98d4c5112f0a622e89e454b0424afbdecef0797 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Unchanged True Passed
  • Model Under Test
  • Equivalent Model
3edc25077434e63e7ec586aea0579ed60a1aceda TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Extends Unchanged False Passed
  • Model Under Test
  • Equivalent Model
27cf8ee989a45d351fcd85568023698c8dcc8501 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Unchanged True Passed
  • Model Under Test
  • Equivalent Model
2ba7ef90a2094d4f71e252ade37be60b7f68b5ba TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
ExtendsInDifferentFolder Unchanged False Passed
  • Model Under Test
  • Equivalent Model
1665875769d09f708084b4a0d33168a9c78f502f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Unchanged True Passed
  • Model Under Test
  • Equivalent Model
ec96a64654c0f93cbb4cdcf8b3b7e52dfb80081f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Variable Unchanged False Passed
  • Model Under Test
  • Equivalent Model
70cd9d51210411589eea9abe3e9b2be4c81c30bc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Unchanged True Passed
  • Model Under Test
  • Equivalent Model
d4347827c657b758327b98ca2337d0c63d86346c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
VariableViewExclude Unchanged False Passed
  • Model Under Test
  • Equivalent Model
cd70e987d480ff60caf0facf369bb99153a5a6b3 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Unchanged True Passed
  • Model Under Test
  • Equivalent Model
1a34ba096a5f6ba690406b033403fefde8263986 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Instance Unchanged False Passed
  • Model Under Test
  • Equivalent Model
9b44b505bd0e98522e5a8354429e0719fea8a304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Unchanged True Passed
  • Model Under Test
  • Equivalent Model
9dee781ce2bb320b7b0926441eb89b87cb9f1c82 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWith Unchanged False Passed
  • Model Under Test
  • Equivalent Model
ff600029c3ec2cc055992f8bba065331015d13fc TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c6bad57914694e0dd64fa6b96ff9fd5e779adef6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamed Unchanged False Passed
  • Model Under Test
  • Equivalent Model
1b4f141e68506b54beb0a4264281716676aa3c7e TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Unchanged True Passed
  • Model Under Test
  • Equivalent Model
191458d01f4acead4003efc63b6760ab86c3fcb7 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWith Unchanged False Passed
  • Model Under Test
  • Equivalent Model
f024bf4299aa7787e532ecb5942f0f793fe9ce81 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Unchanged True Passed
  • Model Under Test
  • Equivalent Model
90226b938713751cad9db6f1f7575714a5b6f859 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceInFolder Unchanged False Passed
  • Model Under Test
  • Equivalent Model
5d1888d3de3a6ff0f3a8b5a81d60e32def547128 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Unchanged True Passed
  • Model Under Test
  • Equivalent Model
523d7a1766b47e87f80e57631dd68f072fc3ff39 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceWithInFolder Unchanged False Passed
  • Model Under Test
  • Equivalent Model
76f970d5d8333c4476e78f78519a2df6460b8a50 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Unchanged True Passed
  • Model Under Test
  • Equivalent Model
b3b7bef872710abd883845a91d9b408942f17ace TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedInFolder Unchanged False Passed
  • Model Under Test
  • Equivalent Model
38cdacea7cc7f6f78a03750dd04f223ef504c8f6 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Unchanged True Passed
  • Model Under Test
  • Equivalent Model
63bb588a7751032ff87d1882ead117ea6bbca764 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
InstanceNamedWithInFolder Unchanged False Passed
  • Model Under Test
  • Equivalent Model
336c111b5df08852ee382965013ea51f7e357ec4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Unchanged True Passed
  • Model Under Test
  • Equivalent Model
53198ba3f53a7fa0999ed4af26529d44a3834e00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Enabled Unchanged False Passed
  • Model Under Test
  • Equivalent Model
bbbb2b5938bdafda7eaed58c9786e514d825299b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Unchanged True Passed
  • Model Under Test
  • Equivalent Model
cb0ca2ac156d7627a9c78fb5790925581ed3ac13 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Lambda Unchanged False Passed
  • Model Under Test
  • Equivalent Model
d5127ad8e8e56d3fe0794dba4ef3669e7f9cf606 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Unchanged True Passed
  • Model Under Test
  • Equivalent Model
86545f837a35b079b4e08dca7daa2e9316f0b3cb TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfCond Unchanged False Passed
  • Model Under Test
  • Equivalent Model
b8a95803665f3865141edcf0c79e236d739eb2d5 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Unchanged True Passed
  • Model Under Test
  • Equivalent Model
1b3036a0b1c856d47f1b522892b1063f1727f8a4 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfThen Unchanged False Passed
  • Model Under Test
  • Equivalent Model
a1d2959a661738aedf6295fd091cde18287d0e26 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Unchanged True Passed
  • Model Under Test
  • Equivalent Model
5989fb63fc2a363bcc8b6013e38f001cc9d4e54d TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
IfElse Unchanged False Passed
  • Model Under Test
  • Equivalent Model
f6481e443b7fba2c5ec02305b30cd9e4a983085f TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Unchanged True Passed
  • Model Under Test
  • Equivalent Model
8036981efdaa62638531911d361c734e7893d354 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
Equivalence Unchanged False Passed
  • Model Under Test
  • Equivalent Model
b61e6549952018b21ca020d014e1d646a713b90c TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Unchanged True Passed
  • Model Under Test
  • Equivalent Model
36646df6aadef5c9e074d096c9c6c1f781d62412 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcSingletonFun Unchanged False Passed
  • Model Under Test
  • Equivalent Model
e0f08cc0a302e4fd0cfa450e5f9e7c0b73d3e0be TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Unchanged True Passed
  • Model Under Test
  • Equivalent Model
9cf3ed3f743219b200a1a91adec88402e912b97b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
TlcEval Unchanged False Passed
  • Model Under Test
  • Equivalent Model
fb8534be1b5de8c3dbf5b078138137fc6955bf00 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Unchanged True Passed
  • Model Under Test
  • Equivalent Model
6551721a601a4da7ff45bfc312ea1b2dc035e232 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagBagIn Unchanged False Passed
  • Model Under Test
  • Equivalent Model
39fefd378428278bc3ee01636a63a1ce11de9304 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Unchanged True Passed
  • Model Under Test
  • Equivalent Model
c1d9d5ea937a8cadd77a1001ce47d66eb0e8edd1 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
BagCopiesIn Unchanged False Passed
  • Model Under Test
  • Equivalent Model
f126f3f07b2f6b438b1283fd30ee695aacc9ab66 TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Unchanged True Passed
  • Model Under Test
  • Equivalent Model
19e9ee5b17a4ba128617f58c91ab95b0b0e69e7b TLC with reduction strategy:
  • Configuration: Replace `-workers auto` option with the `-workers 1`
SeqAppend Unchanged False Passed
  • Model Under Test
  • Equivalent Model