Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
b953b85b24f6d98b2a0ab66be3ea048f82b97764 |
TLC with reduction strategy:
|
Eq | TlcPermuteFun | True | Passed | |
a7ef4cfdf0e9ed885b7ccf3188357bd403d5a094 |
TLC with reduction strategy:
|
Eq | TlcPermuteFun | False | Passed | |
7a880bbe14b360fdba945396ce2b4778daf0677c |
TLC with reduction strategy:
|
Ne | TlcPermuteFun | True | Passed | |
36c2b9969f7f2f51f8b22e6ce6c1185bd6f95626 |
TLC with reduction strategy:
|
Ne | TlcPermuteFun | False | Passed | |
e52ee992dca627de70582f5c792349660a282122 |
TLC with reduction strategy:
|
Let | TlcPermuteFun | True | Passed | |
55468f007da6a41cef07b2f07beec4832d28bcb9 |
TLC with reduction strategy:
|
Let | TlcPermuteFun | False | Passed | |
2c96dbce7db3e60b6e0418e09fa81e8eb4fed466 |
TLC with reduction strategy:
|
Set0 | TlcPermuteFun | True | Passed | |
126804f36643e87d35c678b919ade49c57c37c36 |
TLC with reduction strategy:
|
Set0 | TlcPermuteFun | False | Passed | |
330853e96cb4a16050ddea374311252729c769b2 |
TLC with reduction strategy:
|
Set1 | TlcPermuteFun | True | Passed | |
bb0e681c03c1eabf44984dd6938f0981cf84dd13 |
TLC with reduction strategy:
|
Set1 | TlcPermuteFun | False | Passed | |
ee5444ea09cf8921b0a20452e7c36343d9bf97fd |
TLC with reduction strategy:
|
Set2 | TlcPermuteFun | True | Passed | |
5523e88f692e1c914870058ca43d8e9fa42dd6fb |
TLC with reduction strategy:
|
Set2 | TlcPermuteFun | False | Passed | |
78962983c7fc1d70c924f27ee885f6ffa5708ad7 |
TLC with reduction strategy:
|
Fun | TlcPermuteFun | True | Passed | |
065a527e90f0810677ecd016a389d40b8fc8f2e6 |
TLC with reduction strategy:
|
Fun | TlcPermuteFun | False | Passed | |
aef986f6360090cd3113d42027242a24f33a6b52 |
TLC with reduction strategy:
|
In | TlcPermuteFun | True | Passed | |
f23cf0a7df8a379bd4e443ca72cd1ea2d6b63aa9 |
TLC with reduction strategy:
|
In | TlcPermuteFun | False | Passed | |
bfd47f1bd54ac098b6bd68342f9fed41ec6d69f0 |
TLC with reduction strategy:
|
NotIn | TlcPermuteFun | True | Passed | |
a86d3f812b0fd11be8b732f295ee37346c014773 |
TLC with reduction strategy:
|
NotIn | TlcPermuteFun | False | Passed | |
d2b1597cee981be1765ecfe9d52318766b899967 |
TLC with reduction strategy:
|
Record | TlcPermuteFun | True | Passed | |
960cc2c199eb8a8101a732d1ad8f93328a4b762a |
TLC with reduction strategy:
|
Record | TlcPermuteFun | False | Passed | |
dc09607c5d043c1e442c125217f9a93dba2b6257 |
TLC with reduction strategy:
|
Tuple | TlcPermuteFun | True | Passed | |
2c5db570e1db96dfee89d73eb8b1fa406dc5ba04 |
TLC with reduction strategy:
|
Tuple | TlcPermuteFun | False | Passed | |
fe11e3f88ad01fb75109b53fcd4381c02626145e |
TLC with reduction strategy:
|
FunApp | TlcPermuteFun | True | Passed | |
518a408d27b8b01123901fddb01eeca0ff7f996c |
TLC with reduction strategy:
|
FunApp | TlcPermuteFun | False | Passed | |
e3a1c814fbfc4ce9a92a0680c0dc833ee5852023 |
TLC with reduction strategy:
|
Except1Fun | TlcPermuteFun | True | Passed | |
0c2c6bdd537808eeb04bb916513cd5f49ea6e714 |
TLC with reduction strategy:
|
Except1Fun | TlcPermuteFun | False | Passed | |
26e230e53220394f23cfab51a6339d8384bba618 |
TLC with reduction strategy:
|
Except1FunWithAt | TlcPermuteFun | True | Passed | |
ef8b53a3c25b9f4417d98fc4b977e5fc5c0c9dcc |
TLC with reduction strategy:
|
Except1FunWithAt | TlcPermuteFun | False | Passed | |
93a281aaeb5ed55da2eaededbdfdbe36ae9ccae5 |
TLC with reduction strategy:
|
Except1Rec | TlcPermuteFun | True | Passed | |
b7217a0c37078f78a57760b184beafdb01e59443 |
TLC with reduction strategy:
|
Except1Rec | TlcPermuteFun | False | Passed | |
0acc8212585bde9c1996f95114628fc49b98b391 |
TLC with reduction strategy:
|
Except1RecWithAt | TlcPermuteFun | True | Passed | |
632cd38302a901f728a14032e12494498c83c3c8 |
TLC with reduction strategy:
|
Except1RecWithAt | TlcPermuteFun | False | Passed | |
9d1e19219ad766c6a1d44bef06bf38e8aacb71b5 |
TLC with reduction strategy:
|
Except2Fun | TlcPermuteFun | True | Passed | |
a483982b651e611cb3dd759b8553ff1afa381221 |
TLC with reduction strategy:
|
Except2Fun | TlcPermuteFun | False | Passed | |
2193eeda547f0a017b9863bd767974baff2736c1 |
TLC with reduction strategy:
|
Prime | TlcPermuteFun | True | Passed | |
2ff262a6360fadaade921e317fed04a129632b39 |
TLC with reduction strategy:
|
Prime | TlcPermuteFun | False | Passed | |
e0e80b51a358aaccf8c85b5230b77ca100e2cd76 |
TLC with reduction strategy:
|
DefFun | TlcPermuteFun | True | Passed | |
15852b1914d34fff0c56ed4788f5311205fd28b9 |
TLC with reduction strategy:
|
DefFun | TlcPermuteFun | False | Passed | |
b963305222c6a8414f9d4f3d86bd93868f9b8c1f |
TLC with reduction strategy:
|
LetDefFun | TlcPermuteFun | True | Passed | |
8cf56b0baeae7286c304192e81d31c0997761577 |
TLC with reduction strategy:
|
LetDefFun | TlcPermuteFun | False | Passed | |
f9c78aad43e49151aab620c7097cf2e17172c40c |
TLC with reduction strategy:
|
DefFunRecursive | TlcPermuteFun | True | Passed | |
cb4841a0ba6ee3065d495c75ff51cbf8957d1014 |
TLC with reduction strategy:
|
DefFunRecursive | TlcPermuteFun | False | Passed | |
6e6ad229e5fb17c6cee90f1cdcfedb8ee40a1aba |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcPermuteFun | True | Passed | |
ddff1d439e212cf6e1d222755015b945f898ae80 |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcPermuteFun | False | Passed | |
993d86633027ef3ca6e0bd693b95d1942daede63 |
TLC with reduction strategy:
|
Def0 | TlcPermuteFun | True | Passed | |
97b0e6be9954ad82d032233177ac1181b5a6cec0 |
TLC with reduction strategy:
|
Def0 | TlcPermuteFun | False | Passed | |
bf08b413c7ff6ace25616c4e155131ca7f7764df |
TLC with reduction strategy:
|
LetDef0 | TlcPermuteFun | True | Passed | |
b66d2348d803534b58ee47634a6687a48f4dcb70 |
TLC with reduction strategy:
|
LetDef0 | TlcPermuteFun | False | Passed | |
d813acc0c9c4fa7f6f6e4577a882c30da853fb08 |
TLC with reduction strategy:
|
Def1 | TlcPermuteFun | True | Passed | |
f877cd06d8930702df6a24e448863635854bd99c |
TLC with reduction strategy:
|
Def1 | TlcPermuteFun | False | Passed | |
2ac20370a591b921d92af7c8551cf761277b63bf |
TLC with reduction strategy:
|
LetDef1 | TlcPermuteFun | True | Passed | |
a7bbdf7be96a2038af1e3158a59a23222a1b6964 |
TLC with reduction strategy:
|
LetDef1 | TlcPermuteFun | False | Passed | |
a314db9f8dbcdc67e47747a6466045d7c526fb06 |
TLC with reduction strategy:
|
Def2 | TlcPermuteFun | True | Passed | |
7d07230d5eb2a252a4368feadd47e631ce19101d |
TLC with reduction strategy:
|
Def2 | TlcPermuteFun | False | Passed | |
029eb20d68ce2e77024a7c4c23df9ac1c06cad74 |
TLC with reduction strategy:
|
LetDef2 | TlcPermuteFun | True | Passed | |
f731ea53ca8dbae5ad375e7b43b1089920f36a16 |
TLC with reduction strategy:
|
LetDef2 | TlcPermuteFun | False | Passed | |
58a27baa353494363ca2f05b8395da133175cf41 |
TLC with reduction strategy:
|
Def1Recursive | TlcPermuteFun | True | Passed | |
f956f09f1ae2b73c09db1c866efe29f134eca033 |
TLC with reduction strategy:
|
Def1Recursive | TlcPermuteFun | False | Passed | |
93ce4ce6721c2c747222465d55bf60f4feaaa4c4 |
TLC with reduction strategy:
|
LetDef1Recursive | TlcPermuteFun | True | Passed | |
707805c3eccf62d24b6830b7a04c87f2357b8fcc |
TLC with reduction strategy:
|
LetDef1Recursive | TlcPermuteFun | False | Passed | |
ebd90cc32246603d7eba6b540b7f96fc2528e287 |
TLC with reduction strategy:
|
Extends | TlcPermuteFun | True | Passed | |
8de65267ec6da21dcaa732ce04347dfe121ef71d |
TLC with reduction strategy:
|
Extends | TlcPermuteFun | False | Passed | |
25a20679a78972c6a267576faef78a9d1e8691d8 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcPermuteFun | True | Passed | |
87f401e4294083d90a3fcede21d8e4323a71ed4e |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcPermuteFun | False | Passed | |
93754bdb5111e92ee12ce79efe79bd43d107c32b |
TLC with reduction strategy:
|
Variable | TlcPermuteFun | True | Passed | |
7956f46396a495fe45508b4adc95aaa08a64dee2 |
TLC with reduction strategy:
|
Variable | TlcPermuteFun | False | Passed | |
68096b9d4244f1bde42dfe9e4bfae26c85c53cbc |
TLC with reduction strategy:
|
VariableViewExclude | TlcPermuteFun | True | Passed | |
d004f09558ea29313c20d902f1b5d34e44f027e2 |
TLC with reduction strategy:
|
VariableViewExclude | TlcPermuteFun | False | Passed | |
23851c4a13aaf3ffc43b181feb0bb88a010d7a2b |
TLC with reduction strategy:
|
Constant | TlcPermuteFun | True | Passed | |
ce5d345801f3c0f360821a52738817bd4608af56 |
TLC with reduction strategy:
|
Constant | TlcPermuteFun | False | Passed | |
a30867e24f2f4c044002bd6cf13523e3c17de22f |
TLC with reduction strategy:
|
ConstantRank1 | TlcPermuteFun | True | Passed | |
703fca677537ab29d86c96e96b9a5fe9f8016295 |
TLC with reduction strategy:
|
ConstantRank1 | TlcPermuteFun | False | Passed | |
d045492245d08b4abcad0acb5dffc0884b665b2e |
TLC with reduction strategy:
|
Instance | TlcPermuteFun | True | Passed | |
4717077093a60649d569c1e7a89629b6dc0882d1 |
TLC with reduction strategy:
|
Instance | TlcPermuteFun | False | Passed | |
ab3b5f46a3d61556fe06262d5394d34da18b3031 |
TLC with reduction strategy:
|
InstanceWith | TlcPermuteFun | True | Passed | |
e58a1d608e7cfae7c902d7ff5fdc72ff33e85d08 |
TLC with reduction strategy:
|
InstanceWith | TlcPermuteFun | False | Passed | |
acf8683c3a36b755fb8b0734d806ecb82caac326 |
TLC with reduction strategy:
|
InstanceNamed | TlcPermuteFun | True | Passed | |
5dc682629d075631703b00397644587a9c0b78c2 |
TLC with reduction strategy:
|
InstanceNamed | TlcPermuteFun | False | Passed | |
ee6252cb8076c141a30f22f3405bade59fd85e1d |
TLC with reduction strategy:
|
InstanceNamedWith | TlcPermuteFun | True | Passed | |
93602d103ab5d9f4c57d6f8e4ec695776c2d5a70 |
TLC with reduction strategy:
|
InstanceNamedWith | TlcPermuteFun | False | Passed | |
ae8a201ae7b5d9caf2119b9bb661790f2d28be87 |
TLC with reduction strategy:
|
InstanceInFolder | TlcPermuteFun | True | Passed | |
d1c2f42481cf72abcf43da670f2f303e598d9f7e |
TLC with reduction strategy:
|
InstanceInFolder | TlcPermuteFun | False | Passed | |
c908d30ca4cd9905fb6c8728d0884c060418a8a5 |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcPermuteFun | True | Passed | |
49c6a9975fe62645e25f342fc19be18654ea5982 |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcPermuteFun | False | Passed | |
33f4e1727b076473b9977021db73b3e0b3c7ac79 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcPermuteFun | True | Passed | |
13807cb10f7ab1a68e0c99a640d6a980e36853d4 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcPermuteFun | False | Passed | |
f5db3f26fa48127ffdf83a5a9b66dedc16f7948d |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcPermuteFun | True | Passed | |
d6b9a8b8f929a741d6c786443ef51e9006198170 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcPermuteFun | False | Passed | |
0abaf6fbd64381a31742d7ea33222e980a428944 |
TLC with reduction strategy:
|
Lambda | TlcPermuteFun | True | Passed | |
2e24ba5a36cba6cae3f190492bd6263e0da86fde |
TLC with reduction strategy:
|
Lambda | TlcPermuteFun | False | Passed | |
2d4e4f66d62cab4f21d4d66f75b24c15ab1480b6 |
TLC with reduction strategy:
|
Cross2 | TlcPermuteFun | True | Passed | |
a62fb63162342e060ed58bc440c2e50c81ed8746 |
TLC with reduction strategy:
|
Cross2 | TlcPermuteFun | False | Passed | |
a4cf56246075580bfe2e284654e1165dfc3d1d5c |
TLC with reduction strategy:
|
Cross3 | TlcPermuteFun | True | Passed | |
8b1a2c97ed357e3008d40656d770e8f7cc7c46e4 |
TLC with reduction strategy:
|
Cross3 | TlcPermuteFun | False | Passed | |
030a38fab547d9e4d426b17050d05df204687a83 |
TLC with reduction strategy:
|
FunSet | TlcPermuteFun | True | Passed | |
4cdb8e913b1f7ece78732c18711f3f84d9ed63ba |
TLC with reduction strategy:
|
FunSet | TlcPermuteFun | False | Passed | |
e7241811b3dc4e7a048ded2390e1277c2a571c0a |
TLC with reduction strategy:
|
RecordSet | TlcPermuteFun | True | Passed | |
4524f2a6faf3cfbec28c3e5979649c8d8149a04b |
TLC with reduction strategy:
|
RecordSet | TlcPermuteFun | False | Passed | |
d0899dd90c653bea1d8c6b6d407523d39b71b3ce |
TLC with reduction strategy:
|
SetDiff | TlcPermuteFun | True | Passed | |
97bcdb46d905141a69b52f7b8d0eaed506267c43 |
TLC with reduction strategy:
|
SetDiff | TlcPermuteFun | False | Passed | |
3077b1560323b97cee711b385ce0a4d562383bd6 |
TLC with reduction strategy:
|
SetUnion | TlcPermuteFun | True | Passed | |
015ec5f1c4a0138e19940c5c0c2d24a96907de4d |
TLC with reduction strategy:
|
SetUnion | TlcPermuteFun | False | Passed | |
ca37cbdfefbaa73bf86b025a764b5be6d732d310 |
TLC with reduction strategy:
|
SetIntersect | TlcPermuteFun | True | Passed | |
98df2a90c72baa8332ffda8f95541ef504b5ddda |
TLC with reduction strategy:
|
SetIntersect | TlcPermuteFun | False | Passed | |
6e7e5658c2ab7b903493a7cc38026a134feadb41 |
TLC with reduction strategy:
|
SubsetEq | TlcPermuteFun | True | Passed | |
e579ba166807840a4fc380a81716f394f9362eb4 |
TLC with reduction strategy:
|
SubsetEq | TlcPermuteFun | False | Passed | |
c5075f4ccf0343fa0266ed8dc363ba87b19b432b |
TLC with reduction strategy:
|
IfThen | TlcPermuteFun | True | Passed | |
2c9ee9ca94c0b31c9859723c913d1938164fadad |
TLC with reduction strategy:
|
IfThen | TlcPermuteFun | False | Passed | |
51208b4b1823e8fddab2235ca19dec084f66e232 |
TLC with reduction strategy:
|
IfElse | TlcPermuteFun | True | Passed | |
47a8591eb140b1d7de053f9a4e4323442854f50d |
TLC with reduction strategy:
|
IfElse | TlcPermuteFun | False | Passed | |
3d1d9183f2ffd68e91cefccb45776031321d1d23 |
TLC with reduction strategy:
|
Subset | TlcPermuteFun | True | Passed | |
d2ce2bb25f67037f2b16b5c94b00d8d217bf373a |
TLC with reduction strategy:
|
Subset | TlcPermuteFun | False | Passed | |
4906d4abff78d68945f45f23b60faed4813a5c92 |
TLC with reduction strategy:
|
Unchanged | TlcPermuteFun | True | Passed | |
efe459927083cba6a26f12f781b87e726101a20a |
TLC with reduction strategy:
|
Unchanged | TlcPermuteFun | False | Passed | |
5ab909a32eebc6010b5619c6a628535a01899668 |
TLC with reduction strategy:
|
SeqSeq | TlcPermuteFun | True | Passed | |
92330b9c20e2e41d60ccfbdc2966ec4f48c32a94 |
TLC with reduction strategy:
|
SeqSeq | TlcPermuteFun | False | Passed | |
6d95375c3340d0147c8f29ad5bcfc63e731e1966 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcPermuteFun | True | Passed | |
5d28b93b8f40c213abc8758c695a400d2c2c948c |
TLC with reduction strategy:
|
TlcSingletonFun | TlcPermuteFun | False | Passed | |
43830d5a8ceed8bc529a1476be4e58ef44834c0c |
TLC with reduction strategy:
|
TlcPermuteFun | TlcPermuteFun | True | Passed | |
f0cc8b36893667603ad7a579920792b147bf75ea |
TLC with reduction strategy:
|
TlcPermuteFun | TlcPermuteFun | False | Passed | |
f3df8c5a4636218a9a700e543f07c1160efd7208 |
TLC with reduction strategy:
|
TlcEval | TlcPermuteFun | True | Passed | |
016a03d427445e58c8ce7c3c1b1cfe255f660bf0 |
TLC with reduction strategy:
|
TlcEval | TlcPermuteFun | False | Passed | |
ae58cef5a672f1e1973b0100effc6dec2895aa3c |
TLC with reduction strategy:
|
BagSetToBag | TlcPermuteFun | True | Passed | |
e00ea81437ee999fc26c53443a2d8c7a7ada9bf7 |
TLC with reduction strategy:
|
BagSetToBag | TlcPermuteFun | False | Passed | |
52b203c8a41b5819788eef0d63a80952fd69823d |
TLC with reduction strategy:
|
BagBagIn | TlcPermuteFun | True | Passed | |
8a5c473bb426e7f530539a2a81f48df8f6713dd0 |
TLC with reduction strategy:
|
BagBagIn | TlcPermuteFun | False | Passed | |
3f3a27bfb25fcaafea7d6245e5b660399eb16990 |
TLC with reduction strategy:
|
BagCopiesIn | TlcPermuteFun | True | Passed | |
974e83b18f62a4cc24c3c8d0733e08cb6b6dfb2f |
TLC with reduction strategy:
|
BagCopiesIn | TlcPermuteFun | False | Passed | |
2184d4092a3643d014954392c20389187010d0d6 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | TlcPermuteFun | True | Passed | |
29f48545df57de2d0e2262e6a350516a3b042adc |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | TlcPermuteFun | False | Passed | |
27d014f359e360f8cad518d9478ab5789d4e9146 |
TLC with reduction strategy:
|
FiniteSetsCardinality | TlcPermuteFun | True | Passed | |
b6b3dd546458ba60309e9cc310e633c1163a401d |
TLC with reduction strategy:
|
FiniteSetsCardinality | TlcPermuteFun | False | Passed | |
0f31dc9a1a7377a062a5bc6359b35e7a77c3bf10 |
TLC with reduction strategy:
|
SeqAppend | TlcPermuteFun | True | Passed | |
7d23a90b3fd125505772b740943ffe9bc90b2d19 |
TLC with reduction strategy:
|
SeqAppend | TlcPermuteFun | False | Passed |