Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
8139aecb844df5f39e3bebe1264fe8d4c39aa847 |
TLC with reduction strategy:
|
Eq | Record | True | Passed | |
6694f9ab580360a242aac83c332eb7de274539f7 |
TLC with reduction strategy:
|
Eq | Record | False | Passed | |
0b2eb9ca7e31b3ab9cd1b107a97ca4f93bf71a30 |
TLC with reduction strategy:
|
Ne | Record | True | Passed | |
2ed3a1727c5f5dc430778e7a910db4367910fefb |
TLC with reduction strategy:
|
Ne | Record | False | Passed | |
2a5346e7951724ec75aa0068543477b41fbccfc8 |
TLC with reduction strategy:
|
Let | Record | True | Passed | |
a68f2b4ff539bd62f9e68ee041a7b35fa41ec092 |
TLC with reduction strategy:
|
Let | Record | False | Passed | |
f61b07315159d4a1c37b73a5e3f452ca6b34086a |
TLC with reduction strategy:
|
Set0 | Record | True | Passed | |
980fe74b8cdb95d08d4607cdde68ee90f33016fd |
TLC with reduction strategy:
|
Set0 | Record | False | Passed | |
5443cd07fe2633604b3ffb169f21da84dc5361ff |
TLC with reduction strategy:
|
Set1 | Record | True | Passed | |
9fcf94aeb974f2de8bc18ea525820b2b403b1ef1 |
TLC with reduction strategy:
|
Set1 | Record | False | Passed | |
7f71ea89bcbe2d596ab4c7a6f8ec873661c82780 |
TLC with reduction strategy:
|
Set2 | Record | True | Passed | |
21ef2b4e0d066e86508985ddbc836c65c3c248e2 |
TLC with reduction strategy:
|
Set2 | Record | False | Passed | |
ad9a8ba62a840d374a71bd434af86194fb1bcb12 |
TLC with reduction strategy:
|
Fun | Record | True | Passed | |
454574110738b7fb88efc70b3db62453a2158e96 |
TLC with reduction strategy:
|
Fun | Record | False | Passed | |
75c0f8a345e69003bb50f772e60a42eccfe7cc91 |
TLC with reduction strategy:
|
In | Record | True | Passed | |
71289860a695f1c08da3717d5ebd5621f53faee9 |
TLC with reduction strategy:
|
In | Record | False | Passed | |
5163cbdf82676615b0d928c7acf29388cf164ccd |
TLC with reduction strategy:
|
NotIn | Record | True | Passed | |
78278c7c4e9b34e2a23ea86c010bb40437217030 |
TLC with reduction strategy:
|
NotIn | Record | False | Passed | |
d20fe3bb6996c0f23edd8a7dd9b0a11790dd9c76 |
TLC with reduction strategy:
|
Record | Record | True | Passed | |
1ca7ad07cd049be95bda3b4126c15e77b0a3c32f |
TLC with reduction strategy:
|
Record | Record | False | Passed | |
9c03cd549533edac4597ec9d5257b20a7a4a8fc5 |
TLC with reduction strategy:
|
Tuple | Record | True | Passed | |
35f99884d2f4b8913c3ff66e659c6d399afd7afa |
TLC with reduction strategy:
|
Tuple | Record | False | Passed | |
49161f777ed0f6282eebfce27d478f4167cf0c08 |
TLC with reduction strategy:
|
FunApp | Record | True | Passed | |
b96bcfd10089674a4f73300e10ba4e665dff7ddf |
TLC with reduction strategy:
|
FunApp | Record | False | Passed | |
e44f11d3046038a5d7d22d79980e881debce2978 |
TLC with reduction strategy:
|
Except0 | Record | True | Passed | |
e158d010c683a82634e9e5ccf8b475db839174c6 |
TLC with reduction strategy:
|
Except0 | Record | False | Passed | |
dffe2113c7175b8405dd2ba1ca37705a13c2dccf |
TLC with reduction strategy:
|
Except1Fun | Record | True | Passed | |
24ed4862196b3f22495f6b3bfef1bb0afdd7e875 |
TLC with reduction strategy:
|
Except1Fun | Record | False | Passed | |
fd5c37e9bf50df79a7efbc925ed22b5687171c6f |
TLC with reduction strategy:
|
Except1FunWithAt | Record | True | Passed | |
bfe18a44133cc9472335848f4b89594519d77fa3 |
TLC with reduction strategy:
|
Except1FunWithAt | Record | False | Passed | |
9f7ea0c3151fa9bf3712093c4c1e66dca4f718ed |
TLC with reduction strategy:
|
Except1Rec | Record | True | Passed | |
e5d0ebd53b91e11c371c723faa54348c1c77a7f3 |
TLC with reduction strategy:
|
Except1Rec | Record | False | Passed | |
148db9dd2bc1e3c8d628602ef11f2113c82cef7b |
TLC with reduction strategy:
|
Except1RecWithAt | Record | True | Passed | |
abec65dc9381e0502da92c94d58711c565cfa917 |
TLC with reduction strategy:
|
Except1RecWithAt | Record | False | Passed | |
6a807dce346aa9206a17966a89a61a1549258300 |
TLC with reduction strategy:
|
Except2Fun | Record | True | Passed | |
aa1d3fd8d6580cd5fdff4f17e6549448619e3798 |
TLC with reduction strategy:
|
Except2Fun | Record | False | Passed | |
524363418185485800da092f4f4155e62af338e0 |
TLC with reduction strategy:
|
Prime | Record | True | Passed | |
f81ab2ec4fd0b91c5d18e166155a49c87e5e931c |
TLC with reduction strategy:
|
Prime | Record | False | Passed | |
6bff16682b93ca2dd8e164ac4e5b959decb702bb |
TLC with reduction strategy:
|
DefFun | Record | True | Passed | |
aa67d0bc00285807fbbd1331169cf0cc6603fdc6 |
TLC with reduction strategy:
|
DefFun | Record | False | Passed | |
79d5be912b6948263b97be912ae103651064b7f3 |
TLC with reduction strategy:
|
LetDefFun | Record | True | Passed | |
04153b32d43a4807e0606fdcf7378e85ac7da7ff |
TLC with reduction strategy:
|
LetDefFun | Record | False | Passed | |
7945a8fc01aa70fa819da576f5bfdd781e3c6c35 |
TLC with reduction strategy:
|
DefFunRecursive | Record | True | Passed | |
3a4936e3726d79e06ec9c7276c79342dfc127659 |
TLC with reduction strategy:
|
DefFunRecursive | Record | False | Passed | |
0a71a2c8df74a8faadeb154ae6bf8ee51b6e9b30 |
TLC with reduction strategy:
|
LetDefFunRecursive | Record | True | Passed | |
668a075279a1c1e47453be0c82d6e66956614b59 |
TLC with reduction strategy:
|
LetDefFunRecursive | Record | False | Passed | |
47eefcf1a2705685979b3669b5c0d27e8b35d594 |
TLC with reduction strategy:
|
Def0 | Record | True | Passed | |
270824e56a1a3b059a00601d74c324bd44eac3c7 |
TLC with reduction strategy:
|
Def0 | Record | False | Passed | |
7a9eb3b2aff2f2ad0750f900d854166a2eb4da40 |
TLC with reduction strategy:
|
LetDef0 | Record | True | Passed | |
c0abe2bda380decc600a8f2567d7685079c90a63 |
TLC with reduction strategy:
|
LetDef0 | Record | False | Passed | |
887d26a2e0db48d301d937267fd2833da74158ca |
TLC with reduction strategy:
|
Def1 | Record | True | Passed | |
f3d7a31fc3ad0fbd78c84a805da74b0c8bbe5078 |
TLC with reduction strategy:
|
Def1 | Record | False | Passed | |
546076212a749cb49ffea7172bd1cab72f0e13d1 |
TLC with reduction strategy:
|
LetDef1 | Record | True | Passed | |
59d6a33c12bd0c88cff2fa0e82b41d2f6c744ac4 |
TLC with reduction strategy:
|
LetDef1 | Record | False | Passed | |
e85926f15b19b61f37fe858dbf8b575a89a6ef6a |
TLC with reduction strategy:
|
Def2 | Record | True | Passed | |
903883c5049d5abdb5ea635328d9400808726076 |
TLC with reduction strategy:
|
Def2 | Record | False | Passed | |
47656e5f8e1cc38f43311d0f0056f859c1c5c128 |
TLC with reduction strategy:
|
LetDef2 | Record | True | Passed | |
d43c2193fec4f3a3952ccfee80d9c2bbc24df0bb |
TLC with reduction strategy:
|
LetDef2 | Record | False | Passed | |
0fbdd1d84037bf388b2bc270c43be04a5977915c |
TLC with reduction strategy:
|
Def1Recursive | Record | True | Passed | |
0bf5ec67b22f6172142385c218472d1684b094a3 |
TLC with reduction strategy:
|
Def1Recursive | Record | False | Passed | |
03dc14551bb85f294e43859eb2635550d75b4e95 |
TLC with reduction strategy:
|
LetDef1Recursive | Record | True | Passed | |
55014c915c46da20989a2eeae8f92813997b2a1b |
TLC with reduction strategy:
|
LetDef1Recursive | Record | False | Passed | |
8ec36e025c5966371ef1ce9ff90a847154a01233 |
TLC with reduction strategy:
|
Extends | Record | True | Passed | |
a47caee838de12bb112779625a19062519b35322 |
TLC with reduction strategy:
|
Extends | Record | False | Passed | |
0ca7d0d900ab809b01c4e38f8aa70bfdbbfce4b6 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Record | True | Passed | |
0cf068287ca4f73b1b3d2eecebfeb9e17db6285c |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Record | False | Passed | |
baecec46c63ad5c0e794a71a50139dade5910aa9 |
TLC with reduction strategy:
|
Variable | Record | True | Passed | |
7c818e209366459cd18f5c6e83daa1649258ce9e |
TLC with reduction strategy:
|
Variable | Record | False | Passed | |
5b9e9a4d8be6a98de0f254ead8592b2d23825080 |
TLC with reduction strategy:
|
VariableViewExclude | Record | True | Passed | |
9a67c13c89525cadf6d14a3e3e73ef39a01872ca |
TLC with reduction strategy:
|
VariableViewExclude | Record | False | Passed | |
224bdc9258503f915308bb6adcaa6d740d0da748 |
TLC with reduction strategy:
|
Constant | Record | True | Passed | |
780a81f4f92cae0921714653e64dfabe49906c0c |
TLC with reduction strategy:
|
Constant | Record | False | Passed | |
b065640e8e02890c46c32731737bbc3fc8f15ee4 |
TLC with reduction strategy:
|
ConstantRank1 | Record | True | Passed | |
8d86e5e0c15bcbbb291e5aba37ae3d1379cedbd6 |
TLC with reduction strategy:
|
ConstantRank1 | Record | False | Passed | |
87a90885ed557d2a5c98d1072df6b18c96d74209 |
TLC with reduction strategy:
|
Instance | Record | True | Passed | |
f565058fa068bb91710cacb997f52b634f575705 |
TLC with reduction strategy:
|
Instance | Record | False | Passed | |
8fd8e7e26176c5268d16e24fe5d9a5b93b126b7b |
TLC with reduction strategy:
|
InstanceWith | Record | True | Passed | |
4b166950ab0eed075b1189c9ac359d0bedd05d6e |
TLC with reduction strategy:
|
InstanceWith | Record | False | Passed | |
1067e41ad773fa6abac7c65f57896030a7371c1b |
TLC with reduction strategy:
|
InstanceNamed | Record | True | Passed | |
891b8ec4d840cd5a66ffeedbbd9109f2b69ec49b |
TLC with reduction strategy:
|
InstanceNamed | Record | False | Passed | |
fd5ccdfe3893b8761e12750ef700dc30f817d83a |
TLC with reduction strategy:
|
InstanceNamedWith | Record | True | Passed | |
b57412157adcb04ef8735305657c0489b7742748 |
TLC with reduction strategy:
|
InstanceNamedWith | Record | False | Passed | |
511458a7b839fd0266967909d110c2d6bc1ff5eb |
TLC with reduction strategy:
|
InstanceInFolder | Record | True | Passed | |
76050a3bbd7f203d21abad2e6312777a65842e0b |
TLC with reduction strategy:
|
InstanceInFolder | Record | False | Passed | |
be17b3a8498cb50a9d27d9f42ef80a9dca93ec02 |
TLC with reduction strategy:
|
InstanceWithInFolder | Record | True | Passed | |
f987e8512de27ee574e7d17ed24725488c2a7c2e |
TLC with reduction strategy:
|
InstanceWithInFolder | Record | False | Passed | |
1e84e0a4d63abd8ce9f4f5abac83ff6d1e6678b6 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Record | True | Passed | |
5452fd758161ecac22c54bab1d2efd241133b850 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Record | False | Passed | |
98829a3262282fbe0d130bdcdc11c473bbfa73cf |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Record | True | Passed | |
e7ccdcdb286ad48c1611519f9368aba5c325d957 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Record | False | Passed | |
8c8c435bda3a3fb3df0d2dde6f19c554f08532ea |
TLC with reduction strategy:
|
Lambda | Record | True | Passed | |
8b071ed76da5402f8af001a15f54467acf55da1d |
TLC with reduction strategy:
|
Lambda | Record | False | Passed | |
f0bed99feaf1933f190d82c8e30e08bbcd934d98 |
TLC with reduction strategy:
|
IfThen | Record | True | Passed | |
59456900e0167a93172a15f914ac817ea37cd5f0 |
TLC with reduction strategy:
|
IfThen | Record | False | Passed | |
d247c6e164320bc0903dc354ed510d02dca6d201 |
TLC with reduction strategy:
|
IfElse | Record | True | Passed | |
cd1a46e1f6a407a4bc4c67902434fb2915901683 |
TLC with reduction strategy:
|
IfElse | Record | False | Passed | |
8c2f87161af8a253b7bde4b5bc410d9f088c6b67 |
TLC with reduction strategy:
|
Unchanged | Record | True | Passed | |
4889ade73f14b0bf8fad2d36a8fdd060ee80a369 |
TLC with reduction strategy:
|
Unchanged | Record | False | Passed | |
67647c4703f462aad1ecdf36986c8015fa7286a2 |
TLC with reduction strategy:
|
TlcSingletonFun | Record | True | Passed | |
5f15cce3745d0eb448ef375460bc4b85dee5a825 |
TLC with reduction strategy:
|
TlcSingletonFun | Record | False | Passed | |
a0af64d8dfb4c02c99d93e90b94b9c9039413023 |
TLC with reduction strategy:
|
TlcEval | Record | True | Passed | |
c42077f6ab3074e74e60741f9711410748c4561c |
TLC with reduction strategy:
|
TlcEval | Record | False | Passed | |
4a39a113e5288d3968e849d280e3e56593640cce |
TLC with reduction strategy:
|
BagBagIn | Record | True | Passed | |
e7939641ae0eb3e156935f6bf5c135d80629597f |
TLC with reduction strategy:
|
BagBagIn | Record | False | Passed | |
6379033f2ffbaecafd799785af1b804f013577d4 |
TLC with reduction strategy:
|
BagCopiesIn | Record | True | Passed | |
18277f83300169c088f3a6d3bac41abd399c2c7c |
TLC with reduction strategy:
|
BagCopiesIn | Record | False | Passed | |
219a980b1e3dc83764b532ac5e039536f8a35592 |
TLC with reduction strategy:
|
SeqAppend | Record | True | Passed | |
66a8a4586eafd37656f8ca00171839f5c701f437 |
TLC with reduction strategy:
|
SeqAppend | Record | False | Passed |