Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
1e2af93354332c1cc6469896322b2985ef7986d3 |
TLC with reduction strategy:
|
Eq | BagEmptyBag | True | Passed | |
daeb0b028d28ab3b2700c97246a817195bc89084 |
TLC with reduction strategy:
|
Eq | BagEmptyBag | False | Passed | |
b0448d52a37593b01ebbd8f9e7b2f3d908b75f15 |
TLC with reduction strategy:
|
Ne | BagEmptyBag | True | Passed | |
4c655f94d6ae4201a574dfed9f0fd7d5ca0201f8 |
TLC with reduction strategy:
|
Ne | BagEmptyBag | False | Passed | |
812e6ff33dc500c635613e9a9f03f024f0729a47 |
TLC with reduction strategy:
|
Let | BagEmptyBag | True | Passed | |
22cb37e84dfa5b3078e2feed96600e819a0571d1 |
TLC with reduction strategy:
|
Let | BagEmptyBag | False | Passed | |
fcdde9cc6580485449f8a089aa843edc54d9b765 |
TLC with reduction strategy:
|
Set0 | BagEmptyBag | True | Passed | |
3460ba3355d9976819186e7c07d1d9192887c024 |
TLC with reduction strategy:
|
Set0 | BagEmptyBag | False | Passed | |
dbf5a3177ab4cc4f6ea9ae6417f6af406f1b3a80 |
TLC with reduction strategy:
|
Set1 | BagEmptyBag | True | Passed | |
05a79325fdddd4f25219d308b4426a048890d44c |
TLC with reduction strategy:
|
Set1 | BagEmptyBag | False | Passed | |
fbf4112c3477b9b5781033179b64cbafecc19886 |
TLC with reduction strategy:
|
Set2 | BagEmptyBag | True | Passed | |
9254c5410c322dc97befcbfb5d30648d81e9e74b |
TLC with reduction strategy:
|
Set2 | BagEmptyBag | False | Passed | |
c3bd20b97e6e01b019c862aa18b5a9bcbdb1eaad |
TLC with reduction strategy:
|
Fun | BagEmptyBag | True | Passed | |
07e9ae554e51870f50d4372e815985bd053da297 |
TLC with reduction strategy:
|
Fun | BagEmptyBag | False | Passed | |
7b1820ff5997c1271a3be0dc7c34263d918e976a |
TLC with reduction strategy:
|
In | BagEmptyBag | True | Passed | |
3b2ca00f3d30927be8ed6308ce7bd60614692061 |
TLC with reduction strategy:
|
In | BagEmptyBag | False | Passed | |
707ad16bc55ce81caeb0de4d85983871d814e5a0 |
TLC with reduction strategy:
|
NotIn | BagEmptyBag | True | Passed | |
40026dc121e91b67585fdf34d0934a3d3888f0c0 |
TLC with reduction strategy:
|
NotIn | BagEmptyBag | False | Passed | |
f371dc207dddd76d9e70bf9845908c01040363b6 |
TLC with reduction strategy:
|
Record | BagEmptyBag | True | Passed | |
356c325556770f85bab411bcd38272fa2e612b53 |
TLC with reduction strategy:
|
Record | BagEmptyBag | False | Passed | |
18ffa0df3bc0a44eb9a9bbfadaeab764757c749e |
TLC with reduction strategy:
|
Tuple | BagEmptyBag | True | Passed | |
b6f0c64ece207c743c3d91e29b1181b05bd905cf |
TLC with reduction strategy:
|
Tuple | BagEmptyBag | False | Passed | |
7436b2f2b94032055f2e135cc7f429ba79726b0e |
TLC with reduction strategy:
|
FunApp | BagEmptyBag | True | Passed | |
f295d5231e1b1b95859505feff019c2c23856162 |
TLC with reduction strategy:
|
FunApp | BagEmptyBag | False | Passed | |
37621716eb7e40eb6ecc6913be5179d26a401298 |
TLC with reduction strategy:
|
Except1Fun | BagEmptyBag | True | Passed | |
ab9c6c08f45aaa859e2f5734f97abdcba99f74bb |
TLC with reduction strategy:
|
Except1Fun | BagEmptyBag | False | Passed | |
e73f34f5e7290a4d408110cc3b341f381fb003c5 |
TLC with reduction strategy:
|
Except1FunWithAt | BagEmptyBag | True | Passed | |
ca12452343881897871d40c54bace61eb16a5ce2 |
TLC with reduction strategy:
|
Except1FunWithAt | BagEmptyBag | False | Passed | |
a0cf7f8a2dbd23c9b839e1b7132350aceb6b454b |
TLC with reduction strategy:
|
Except1Rec | BagEmptyBag | True | Passed | |
117a1462dcce4f615f874b35a79d88fe7f7fe5a1 |
TLC with reduction strategy:
|
Except1Rec | BagEmptyBag | False | Passed | |
b36cece6e01f53354e47f2ef158b8083900d681b |
TLC with reduction strategy:
|
Except1RecWithAt | BagEmptyBag | True | Passed | |
8f4515caff5b752d48ff74a5f0fb3a30ef7a8103 |
TLC with reduction strategy:
|
Except1RecWithAt | BagEmptyBag | False | Passed | |
25c4be2d98fce1e981a95b6489a99ddba588d2fa |
TLC with reduction strategy:
|
Except2Fun | BagEmptyBag | True | Passed | |
f66c4aa2ebb66c9c019a5beb5ac199fa5b3c0905 |
TLC with reduction strategy:
|
Except2Fun | BagEmptyBag | False | Passed | |
ff7c68ec11b60d98dd3200cb5fc269cc74be15bf |
TLC with reduction strategy:
|
Prime | BagEmptyBag | True | Passed | |
3bdf881f05c907bfe9a7aa8acc3e7b7386a861e7 |
TLC with reduction strategy:
|
Prime | BagEmptyBag | False | Passed | |
522cb0ee360b61a49056a4c119da1a40486c70df |
TLC with reduction strategy:
|
DefFun | BagEmptyBag | True | Passed | |
9f124064d486d62adae6e21a8d0459d6270af954 |
TLC with reduction strategy:
|
DefFun | BagEmptyBag | False | Passed | |
cfbd65eba30b805a4ed15b64fa93598064fa84e4 |
TLC with reduction strategy:
|
LetDefFun | BagEmptyBag | True | Passed | |
069e98b6b1c069e0e3d0ec282c0dad8bf3e7ab23 |
TLC with reduction strategy:
|
LetDefFun | BagEmptyBag | False | Passed | |
7c819f7a2184bee1b92c59d75cb9750b2dbabd79 |
TLC with reduction strategy:
|
DefFunRecursive | BagEmptyBag | True | Passed | |
3a187f9371754262f7a2e65b23bea1920343f557 |
TLC with reduction strategy:
|
DefFunRecursive | BagEmptyBag | False | Passed | |
23abce591be741fcc78963746a7becd457b86411 |
TLC with reduction strategy:
|
LetDefFunRecursive | BagEmptyBag | True | Passed | |
eeb58322232fc90e02414c55c02ed987c41c995a |
TLC with reduction strategy:
|
LetDefFunRecursive | BagEmptyBag | False | Passed | |
93efddabdcbbe35dace8d8fdcefc7f11d6fdecdb |
TLC with reduction strategy:
|
Def0 | BagEmptyBag | True | Passed | |
05c08154f126e2a4295c08af66a7b8523dcdb0dc |
TLC with reduction strategy:
|
Def0 | BagEmptyBag | False | Passed | |
cd5c78aa6969589202207c0f426eac8c9e064233 |
TLC with reduction strategy:
|
LetDef0 | BagEmptyBag | True | Passed | |
e0162b36768b80cb49a032351362e2cbc3aa1dd0 |
TLC with reduction strategy:
|
LetDef0 | BagEmptyBag | False | Passed | |
2c8e8531862abf8ce107357a2bdcd32825af9d1a |
TLC with reduction strategy:
|
Def1 | BagEmptyBag | True | Passed | |
14331d9e0a0db245a85bd8242893983c741c0dec |
TLC with reduction strategy:
|
Def1 | BagEmptyBag | False | Passed | |
3cd22ff2f7786dd06325b51be3ea8543a1d4d0c1 |
TLC with reduction strategy:
|
LetDef1 | BagEmptyBag | True | Passed | |
fe078cbf83d2247f0d57738d90046c6ef75fb14a |
TLC with reduction strategy:
|
LetDef1 | BagEmptyBag | False | Passed | |
584c3632c7251649d6863417cc7fc4a92c7d367c |
TLC with reduction strategy:
|
Def2 | BagEmptyBag | True | Passed | |
738ba0fb31b50fd3615e0c05dc7afe343646316b |
TLC with reduction strategy:
|
Def2 | BagEmptyBag | False | Passed | |
7f2895101c38dce801d52f1ae5d52edfe5f88770 |
TLC with reduction strategy:
|
LetDef2 | BagEmptyBag | True | Passed | |
f136fbee3b66fbfcc5074adaebbfe92816a0f6bd |
TLC with reduction strategy:
|
LetDef2 | BagEmptyBag | False | Passed | |
473bd142155c415bc9d2b753e1b32abdc1e8ccf0 |
TLC with reduction strategy:
|
Def1Recursive | BagEmptyBag | True | Passed | |
81ff3ecbc7ed9740281d330bb8bc23f0f1dc1184 |
TLC with reduction strategy:
|
Def1Recursive | BagEmptyBag | False | Passed | |
33abfb8c6fbcab9c68da05711c4ed055a459dc13 |
TLC with reduction strategy:
|
LetDef1Recursive | BagEmptyBag | True | Passed | |
9df757c90a5da898d3313bace6fc0857e9b67e2d |
TLC with reduction strategy:
|
LetDef1Recursive | BagEmptyBag | False | Passed | |
f1606520db9538f6ef533b3eca248a62191a3d1f |
TLC with reduction strategy:
|
Extends | BagEmptyBag | True | Passed | |
3175f2fd16c822c43813d52a50b2321dc04977e2 |
TLC with reduction strategy:
|
Extends | BagEmptyBag | False | Passed | |
987674639ba304a27172d9887f8e526f186a1046 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | BagEmptyBag | True | Passed | |
239f9743fdd313ead09480fa722374e87697de8b |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | BagEmptyBag | False | Passed | |
ed1aeeecee77a72276e78c6c6db28d4279b02e57 |
TLC with reduction strategy:
|
Variable | BagEmptyBag | True | Passed | |
3c2d3009073f5e7f79980d0aa49173f0a6f2cc87 |
TLC with reduction strategy:
|
Variable | BagEmptyBag | False | Passed | |
6611b7aec9fc781e1a36d11d05295785bdaee0ba |
TLC with reduction strategy:
|
VariableViewExclude | BagEmptyBag | True | Passed | |
170b3d57c6479374d957842b65cea3d9bc24a041 |
TLC with reduction strategy:
|
VariableViewExclude | BagEmptyBag | False | Passed | |
f67363e68a478248557e9cb442fb1c92639453c4 |
TLC with reduction strategy:
|
Constant | BagEmptyBag | True | Passed | |
2d8a4659a7a25d218e9091c12ed422858b0047ab |
TLC with reduction strategy:
|
Constant | BagEmptyBag | False | Passed | |
a58ca1143c8802285de86b07457dd7733844d86e |
TLC with reduction strategy:
|
ConstantRank1 | BagEmptyBag | True | Passed | |
0a18601227921d2eb6bfb33087a3be8697054e39 |
TLC with reduction strategy:
|
ConstantRank1 | BagEmptyBag | False | Passed | |
352a3039186c64270584618aeb453d4a042aa36c |
TLC with reduction strategy:
|
Instance | BagEmptyBag | True | Passed | |
a01e86bb960ee2e1414e37d959ca1ad43b89de8d |
TLC with reduction strategy:
|
Instance | BagEmptyBag | False | Passed | |
80847e89a72b7be4e68cf09fc23f45f132211bb4 |
TLC with reduction strategy:
|
InstanceWith | BagEmptyBag | True | Passed | |
cab8a39d0e6ac8671a94a7f950eedaa9df715848 |
TLC with reduction strategy:
|
InstanceWith | BagEmptyBag | False | Passed | |
bdaf71d258aee08b16737529e219ddf7363e7e59 |
TLC with reduction strategy:
|
InstanceNamed | BagEmptyBag | True | Passed | |
5d4e09e8a896161a532a4e13d7a30c8d0e1bf674 |
TLC with reduction strategy:
|
InstanceNamed | BagEmptyBag | False | Passed | |
0b030186fbe1c1f0ed80df8aebd586f627e8b061 |
TLC with reduction strategy:
|
InstanceNamedWith | BagEmptyBag | True | Passed | |
6c4148233768dcf950f3c46ccd7a2fec9603eff2 |
TLC with reduction strategy:
|
InstanceNamedWith | BagEmptyBag | False | Passed | |
a50bb5979eba068340e3e49f0a3dcf79353c262f |
TLC with reduction strategy:
|
InstanceInFolder | BagEmptyBag | True | Passed | |
c64b3450c0419c986684b55b9e512039d16c64e0 |
TLC with reduction strategy:
|
InstanceInFolder | BagEmptyBag | False | Passed | |
5bba1e4e6048cf429214b9f47f06bd0e20a83962 |
TLC with reduction strategy:
|
InstanceWithInFolder | BagEmptyBag | True | Passed | |
2b1d1ac0272a406a4da726b6a1890c6581899f41 |
TLC with reduction strategy:
|
InstanceWithInFolder | BagEmptyBag | False | Passed | |
2bf1844579a784b1eaf8fe64d036f8017e431552 |
TLC with reduction strategy:
|
InstanceNamedInFolder | BagEmptyBag | True | Passed | |
bffbcd986783d3fd903428e9e1b766eb2b64026b |
TLC with reduction strategy:
|
InstanceNamedInFolder | BagEmptyBag | False | Passed | |
f1f8f48973e496f78009fc826924e57a1cdd4e9b |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | BagEmptyBag | True | Passed | |
2e2bbdfd5486ed6e5339fa9cd7167aef8df29129 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | BagEmptyBag | False | Passed | |
0db2de5e7aaa70110011924fd6c78d5d23f52fa6 |
TLC with reduction strategy:
|
Lambda | BagEmptyBag | True | Passed | |
41ca7e295ccda2db1b03c00275c92e13e3a7cb88 |
TLC with reduction strategy:
|
Lambda | BagEmptyBag | False | Passed | |
ef2c56b45990fb9a9d47591779b3daff06aeb599 |
TLC with reduction strategy:
|
IfThen | BagEmptyBag | True | Passed | |
ec4bec0776864ec79a414e18e56ac8ffdcdac73b |
TLC with reduction strategy:
|
IfThen | BagEmptyBag | False | Passed | |
2566c6263580e60a4f1a56abcc2c9290aef0a275 |
TLC with reduction strategy:
|
IfElse | BagEmptyBag | True | Passed | |
a95a2fc8602c490194e36fc5729d418a67e70271 |
TLC with reduction strategy:
|
IfElse | BagEmptyBag | False | Passed | |
0d6f93779a6bdf11dc6016e5cbf6dce31713137d |
TLC with reduction strategy:
|
Unchanged | BagEmptyBag | True | Passed | |
63f520ffab538d7ba3cb16960c2d8c7c461956f2 |
TLC with reduction strategy:
|
Unchanged | BagEmptyBag | False | Passed | |
becc9c273d94afde9d7d6ca6442c9b64dca5c18c |
TLC with reduction strategy:
|
TlcSingletonFun | BagEmptyBag | True | Passed | |
7aab9587296cb0e3795a938254257e0bbcb9ed7a |
TLC with reduction strategy:
|
TlcSingletonFun | BagEmptyBag | False | Passed | |
b264194c019f84a302eceb216b25d364bff36d19 |
TLC with reduction strategy:
|
TlcEval | BagEmptyBag | True | Passed | |
fb35c6d9ed4e0069c0aef9358bfaffea7c001564 |
TLC with reduction strategy:
|
TlcEval | BagEmptyBag | False | Passed | |
04883e4fff5c0a8f9f5784e0912decd59ebcf0c8 |
TLC with reduction strategy:
|
BagBagToSet | BagEmptyBag | True | Passed | |
52a5c6205ff1d99e5e2b21c88ad7bbd2ef0cba29 |
TLC with reduction strategy:
|
BagBagToSet | BagEmptyBag | False | Passed | |
9e2339d0e644cabd33ff3de9235fa8b2e6c10c25 |
TLC with reduction strategy:
|
BagBagIn | BagEmptyBag | True | Passed | |
bb4dddb6df1cdf3faf81b7c9c9b5047ea59503a0 |
TLC with reduction strategy:
|
BagBagIn | BagEmptyBag | False | Passed | |
0fd3b24a936bb27c8ba70184f6271276784f0d0b |
TLC with reduction strategy:
|
BagAddBag | BagEmptyBag | True | Passed | |
89a5a8c4424b96d3e6e13a4172a2e1c65f8a704d |
TLC with reduction strategy:
|
BagAddBag | BagEmptyBag | False | Passed | |
687ae5e6ceab10a9901ff50eb106a12112dec237 |
TLC with reduction strategy:
|
BagBagSub | BagEmptyBag | True | Passed | |
1d7e6fcd41001c690bbbde80939743667d3bccc2 |
TLC with reduction strategy:
|
BagBagSub | BagEmptyBag | False | Passed | |
7e10d59ff9a73a0370042e83f4ef881927c53d67 |
TLC with reduction strategy:
|
BagCopiesIn | BagEmptyBag | True | Passed | |
5f612562db254c98b0b5fcecc8524e6c42675866 |
TLC with reduction strategy:
|
BagCopiesIn | BagEmptyBag | False | Passed | |
2153435d62ee35a9eb3bed53987e5724f325bc23 |
TLC with reduction strategy:
|
BagSubsetEqBag | BagEmptyBag | True | Passed | |
3096dba220299a8d8c58aa0c7404cd548f36f96b |
TLC with reduction strategy:
|
BagSubsetEqBag | BagEmptyBag | False | Passed | |
42992aaf74e45a01eb983a63daa79885b43bb648 |
TLC with reduction strategy:
|
BagBagCardinality | BagEmptyBag | True | Passed | |
a73cd0f6de7f4dc027d67576a17e2d80e115cd38 |
TLC with reduction strategy:
|
BagBagCardinality | BagEmptyBag | False | Passed | |
934bad3d815f21a8c3b63cec1392d9aea0037641 |
TLC with reduction strategy:
|
BagBagOfAll | BagEmptyBag | True | Passed | |
5ae7e41d3514812a7e4678a3306d0daf29672165 |
TLC with reduction strategy:
|
BagBagOfAll | BagEmptyBag | False | Passed | |
750e283c4b4e79c68c26caefe0aeae6d708947b4 |
TLC with reduction strategy:
|
BagSubBag | BagEmptyBag | True | Passed | |
9397a1bf97bcc63e96c0cb394cbb5775ea6c1472 |
TLC with reduction strategy:
|
BagSubBag | BagEmptyBag | False | Passed | |
d1b3ac223b896d9afcf82632d1103e6ee2b48342 |
TLC with reduction strategy:
|
SeqAppend | BagEmptyBag | True | Passed | |
731fb336eaa6d2461e5b468f85a421b3d79566f4 |
TLC with reduction strategy:
|
SeqAppend | BagEmptyBag | False | Passed |