Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
cb70f4ef90ee70b64d0f0582eb73f8f8ce7e479a |
TLC with reduction strategy:
|
BagSetToBag | OneLineComment | True | Passed | |
22050b574df6b16674b2df4a1286441885063760 |
TLC with reduction strategy:
|
BagSetToBag | OneLineComment | False | Passed | |
badf0c05369d1dbb672b455998fd27e163d58bc3 |
TLC with reduction strategy:
|
BagSetToBag | MultiLineComment | True | Passed | |
eec53422a7d664138d47cb06787db9e7442251af |
TLC with reduction strategy:
|
BagSetToBag | MultiLineComment | False | Passed | |
189767c3c95a8021492499ec183f3ed5b7a4ac82 |
TLC with reduction strategy:
|
BagSetToBag | BoolSet | True | Passed | |
a54b092b6320fc3e0aad0db5fac65ce7d7f50f9f |
TLC with reduction strategy:
|
BagSetToBag | BoolSet | False | Passed | |
0ee2333ce74df3224ba7e178b146987f2190ea6f |
TLC with reduction strategy:
|
BagSetToBag | Let | True | Passed | |
7f44fa1154e9fe80e18aaa6e685d3b6e02d4275f |
TLC with reduction strategy:
|
BagSetToBag | Let | False | Passed | |
b516c57996f7a96129b53af8556d42719e1af3fa |
TLC with reduction strategy:
|
BagSetToBag | SetEmpty | True | Passed | |
60d0d7fdde0e1cb4342dcc65ebe34fd9ef5552d1 |
TLC with reduction strategy:
|
BagSetToBag | SetEmpty | False | Passed | |
6711934b0fa0f8fbc6acf4a00c56cb0f0eb97f0f |
TLC with reduction strategy:
|
BagSetToBag | Set0 | True | Passed | |
33dbd3f747d0a3a81bfdbf035bb6e6b1042aa94b |
TLC with reduction strategy:
|
BagSetToBag | Set0 | False | Passed | |
2dd1cc3ae4d8bd8c47b16631db458c1d69fbe61f |
TLC with reduction strategy:
|
BagSetToBag | Set1 | True | Passed | |
12bd34df31cf1390b3474316442fd79fb652b111 |
TLC with reduction strategy:
|
BagSetToBag | Set1 | False | Passed | |
30af781629763415fa4e4a45913126e1bb187369 |
TLC with reduction strategy:
|
BagSetToBag | Set2 | True | Passed | |
4f38883fe23b61fa19299d18986eb1b75d9c2beb |
TLC with reduction strategy:
|
BagSetToBag | Set2 | False | Passed | |
3c22920ae7737ecf3793420fb558eb57266b9565 |
TLC with reduction strategy:
|
BagSetToBag | Choose | True | Passed | |
fa1db2bc443654b0e7ee273b26ab1ed18b29220f |
TLC with reduction strategy:
|
BagSetToBag | Choose | False | Passed | |
be5f4bb559c3dc8339752e93d32ebd9c5fd5305e |
TLC with reduction strategy:
|
BagSetToBag | FunApp | True | Passed | |
7d7cc0056f0cf9b21ea99066fd949ca729e7d210 |
TLC with reduction strategy:
|
BagSetToBag | FunApp | False | Passed | |
7c20d2ffdbe59fb9afd2586cb320d41c791df922 |
TLC with reduction strategy:
|
BagSetToBag | Prime | True | Passed | |
39961bd2b79985dac61f559223382d7f67c76198 |
TLC with reduction strategy:
|
BagSetToBag | Prime | False | Passed | |
590022b2d014723a3e68106c60b92fa6972c5e3a |
TLC with reduction strategy:
|
BagSetToBag | Def0 | True | Passed | |
b035a185517a98bce920cdfdb197c28108e58c61 |
TLC with reduction strategy:
|
BagSetToBag | Def0 | False | Passed | |
752f12f91ba383b8d6ece7cead106fbc8d2838ef |
TLC with reduction strategy:
|
BagSetToBag | LetDef0 | True | Passed | |
cf6ec41b6f5cab0615893b6cc4401245b3665632 |
TLC with reduction strategy:
|
BagSetToBag | LetDef0 | False | Passed | |
fec24a8917535dddfcf624df49b124378c8bcd70 |
TLC with reduction strategy:
|
BagSetToBag | Def1 | True | Passed | |
de744f7ffe0937473c48b8716c234557992a8b16 |
TLC with reduction strategy:
|
BagSetToBag | Def1 | False | Passed | |
4845f2906d6f8290bdb44473b83a11dc493e49ab |
TLC with reduction strategy:
|
BagSetToBag | LetDef1 | True | Passed | |
4bbd8fe02f5e6bca3c2c7196086b53dfb4e6618b |
TLC with reduction strategy:
|
BagSetToBag | LetDef1 | False | Passed | |
7ebf8fa2b510cc1161981c0800708ab8707db3bc |
TLC with reduction strategy:
|
BagSetToBag | Def2 | True | Passed | |
4f52e0e505666c57fcbab953644830b53916257c |
TLC with reduction strategy:
|
BagSetToBag | Def2 | False | Passed | |
5bb27f4971ffd7e8ab76b910fa1647899a9bcfcd |
TLC with reduction strategy:
|
BagSetToBag | LetDef2 | True | Passed | |
659ea06f7863e050028b27598e4c928d7b582829 |
TLC with reduction strategy:
|
BagSetToBag | LetDef2 | False | Passed | |
82c5347fda5c4db9058c8ef0843831dde2145d2f |
TLC with reduction strategy:
|
BagSetToBag | Def1Recursive | True | Passed | |
b265fd1e017f02a7348acc23bf388c8402b18746 |
TLC with reduction strategy:
|
BagSetToBag | Def1Recursive | False | Passed | |
13ec9872add642ebd77f3ded38e648e46bd015d2 |
TLC with reduction strategy:
|
BagSetToBag | LetDef1Recursive | True | Passed | |
03a8dd5974969849c5b916bfc7aa014118a09e54 |
TLC with reduction strategy:
|
BagSetToBag | LetDef1Recursive | False | Passed | |
086f1a2c7d20bbd8ead397e153307d5822c3ae15 |
TLC with reduction strategy:
|
BagSetToBag | Extends | True | Passed | |
dcd4e9abd9f9490707ac1b0b53d18194fc41c0bd |
TLC with reduction strategy:
|
BagSetToBag | Extends | False | Passed | |
10c3311ddaa2b21ee7ad070eebfaab5a4c97a916 |
TLC with reduction strategy:
|
BagSetToBag | ExtendsInDifferentFolder | True | Passed | |
b5c490c3adf03ee583cde2f59fff51a4bf0e66f8 |
TLC with reduction strategy:
|
BagSetToBag | ExtendsInDifferentFolder | False | Passed | |
906d964dc628614177d2b496f80236bd65a44447 |
TLC with reduction strategy:
|
BagSetToBag | Variable | True | Passed | |
1f9d641eba17a14edc557cc6f736e30a346b6310 |
TLC with reduction strategy:
|
BagSetToBag | Variable | False | Passed | |
389932feb1ac60dd7d68397296f1e84f19624534 |
TLC with reduction strategy:
|
BagSetToBag | Constant | True | Passed | |
454c58910da4362d21174e0ea2856cb527f68573 |
TLC with reduction strategy:
|
BagSetToBag | Constant | False | Passed | |
9582ae77597c1c3ca87a8e96e26d0708615a4d38 |
TLC with reduction strategy:
|
BagSetToBag | ConstantRank1 | True | Passed | |
f3d953f5d117274e7ce3bf609bb3fae7a39985d5 |
TLC with reduction strategy:
|
BagSetToBag | ConstantRank1 | False | Passed | |
befdf65a4140b17dab3305928ca35041f718f0c6 |
TLC with reduction strategy:
|
BagSetToBag | Instance | True | Passed | |
cd7bbf4ddef23a9428d9264414cf67741122e343 |
TLC with reduction strategy:
|
BagSetToBag | Instance | False | Passed | |
0c613a4ef12a7d0cce041ee59164450b30b598ef |
TLC with reduction strategy:
|
BagSetToBag | InstanceWith | True | Passed | |
df2dca33cdda7106e559446264b5795118924dee |
TLC with reduction strategy:
|
BagSetToBag | InstanceWith | False | Passed | |
42867441af57508750e2393ca684d466842d7ce7 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamed | True | Passed | |
bd9582fb000e0d5a1e7ca9186f2d058454303840 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamed | False | Passed | |
fa5fcf84e4545c336e7d015fc4260d41191dd8b1 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamedWith | True | Passed | |
8c5755613f8d744eafa69ffe10ff7193c572fb6d |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamedWith | False | Passed | |
7f40ebea5cb93a052edf6448d3610e2810cfc396 |
TLC with reduction strategy:
|
BagSetToBag | InstanceInFolder | True | Passed | |
05e8b02f6764a0894252ff5585b273fc880bdbe1 |
TLC with reduction strategy:
|
BagSetToBag | InstanceInFolder | False | Passed | |
b73062193a20a0f28de6dae9bb5290ff4e99557c |
TLC with reduction strategy:
|
BagSetToBag | InstanceWithInFolder | True | Passed | |
ede60abcc77b6420d07891050cff756154a1b09f |
TLC with reduction strategy:
|
BagSetToBag | InstanceWithInFolder | False | Passed | |
df8528e09d9e675b9a501efe0267542919395b83 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamedInFolder | True | Passed | |
2cefcc3d37690a6ffd2512a2cd0d685fc1b6c7f8 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamedInFolder | False | Passed | |
220a20b3ace4c46d9ed125f790bedfd047623821 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamedWithInFolder | True | Passed | |
830439d314179674b2ffaf56fc4b9595dde0df75 |
TLC with reduction strategy:
|
BagSetToBag | InstanceNamedWithInFolder | False | Passed | |
6ccbb42133cdf4b66fcf46d22f96ea4463e20ba3 |
TLC with reduction strategy:
|
BagSetToBag | Cross2 | True | Passed | |
103478d1016eb4b80a231aede6db7eb32ad15d00 |
TLC with reduction strategy:
|
BagSetToBag | Cross2 | False | Passed | |
7fa542afd3848e429bf109cdb938d10db265403d |
TLC with reduction strategy:
|
BagSetToBag | Cross3 | True | Passed | |
cbc175a8a7db91845a423d407eca09b62a2a7630 |
TLC with reduction strategy:
|
BagSetToBag | Cross3 | False | Passed | |
ec9da497005bb33f31f2ed54300084bc0c15166e |
TLC with reduction strategy:
|
BagSetToBag | FunSet | True | Passed | |
a2b1d12314efe14a3c50092ebdbda54f0e994849 |
TLC with reduction strategy:
|
BagSetToBag | FunSet | False | Passed | |
45c8aefdaa72886ab19fe2a3d2afeee7065606b2 |
TLC with reduction strategy:
|
BagSetToBag | RecordSet | True | Passed | |
488617f430fc4915e437a3837dd7b86dc6205689 |
TLC with reduction strategy:
|
BagSetToBag | RecordSet | False | Passed | |
d922b151d63cd8ceffc1fadd5e6aeda9e1911f03 |
TLC with reduction strategy:
|
BagSetToBag | SetDiff | True | Passed | |
fe8cb3ad27e0cba2cc95a554e4ca731becb7d13c |
TLC with reduction strategy:
|
BagSetToBag | SetDiff | False | Passed | |
981ca6fe82881d10db3bc09b13433785c93543c5 |
TLC with reduction strategy:
|
BagSetToBag | SetUnion | True | Passed | |
29bf9715dd333d305e91b7f41e573c975b9d9255 |
TLC with reduction strategy:
|
BagSetToBag | SetUnion | False | Passed | |
e2c86efbfd84abeab11bbdcbdb2b9f3781f5dd19 |
TLC with reduction strategy:
|
BagSetToBag | SetIntersect | True | Passed | |
62e078947a14c329146ecfcb29f0b1a02fbc52e2 |
TLC with reduction strategy:
|
BagSetToBag | SetIntersect | False | Passed | |
52fbda8f895b81068fd69ead5e06413fccc49576 |
TLC with reduction strategy:
|
BagSetToBag | IfCond | True | Passed | |
82990e763cef4b40877d24f49d240ed2b3152b42 |
TLC with reduction strategy:
|
BagSetToBag | IfCond | False | Passed | |
0b15bc12538c4954aea79280fa995b6a94e1cc8c |
TLC with reduction strategy:
|
BagSetToBag | IfThen | True | Passed | |
27192ccf9c4dd6eaf286c5d9ec927a603661864d |
TLC with reduction strategy:
|
BagSetToBag | IfThen | False | Passed | |
3886754ed5eaf69f547735f9c6e2087ae91f200c |
TLC with reduction strategy:
|
BagSetToBag | IfElse | True | Passed | |
37f70f9a85279f15f556d1b5b15913b27a293b86 |
TLC with reduction strategy:
|
BagSetToBag | IfElse | False | Passed | |
a63a741f87fc6f2ad540360ea43dbf89b8453ce0 |
TLC with reduction strategy:
|
BagSetToBag | Subset | True | Passed | |
1a3f5c11d19f970d381d83d960daa0bb8d63c2e8 |
TLC with reduction strategy:
|
BagSetToBag | Subset | False | Passed | |
85eb4e53ea73ec708990ad689f4c7822dc28252d |
TLC with reduction strategy:
|
BagSetToBag | Domain | True | Passed | |
9e9ada0399e9c0f88a544cd00ecbf7893ec84e24 |
TLC with reduction strategy:
|
BagSetToBag | Domain | False | Passed | |
f5fcb561a04cb5dbaf6ded6b0eefb25fa4d316f0 |
TLC with reduction strategy:
|
BagSetToBag | Union | True | Passed | |
c3a03e2fa5bcca6da5405cc706b6d8fd2bcee5ca |
TLC with reduction strategy:
|
BagSetToBag | Union | False | Passed | |
55f093ef9f99680d4b22c3755b58bd2eadc82378 |
TLC with reduction strategy:
|
BagSetToBag | NumRange | True | Passed | |
e6216ab59912bb26ef24279261b036d179bf5610 |
TLC with reduction strategy:
|
BagSetToBag | NumRange | False | Passed | |
ae58cef5a672f1e1973b0100effc6dec2895aa3c |
TLC with reduction strategy:
|
BagSetToBag | TlcPermuteFun | True | Passed | |
e00ea81437ee999fc26c53443a2d8c7a7ada9bf7 |
TLC with reduction strategy:
|
BagSetToBag | TlcPermuteFun | False | Passed | |
08c3f6a2b0ff74d864db291343657cc9a757f996 |
TLC with reduction strategy:
|
BagSetToBag | TlcEval | True | Passed | |
0324afd17220a5e8a3a034a37f14f6e5ce95123a |
TLC with reduction strategy:
|
BagSetToBag | TlcEval | False | Passed | |
9d6b3358861df083e2285e1415145a76e296a380 |
TLC with reduction strategy:
|
BagSetToBag | BagBagToSet | True | Passed | |
b0e8c002f213bee1b6c65f69c61b7a92d8288512 |
TLC with reduction strategy:
|
BagSetToBag | BagBagToSet | False | Passed | |
a40f4590acb0d147103ad097b6509db1396f0d53 |
TLC with reduction strategy:
|
BagSetToBag | BagSubBag | True | Passed | |
eaf7b1c893cf520bf945a62886391040e76426ee |
TLC with reduction strategy:
|
BagSetToBag | BagSubBag | False | Passed | |
b3ef95115737c61e074f0ca8ae4c2bd2b1f22fa3 |
TLC with reduction strategy:
|
BagSetToBag | SeqHead | True | Passed | |
26aec8445a35d70ff9940eb65d46df3003b5b8f7 |
TLC with reduction strategy:
|
BagSetToBag | SeqHead | False | Passed |