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