Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
5cdf0a1bf1a03c0ebb1e79bcbaa2bac4a0183be4 |
TLC with reduction strategy:
|
Cross3 | OneLineComment | True | Passed | |
0551b84c853e8ba984ddb5d8fb05c0b6f91ce099 |
TLC with reduction strategy:
|
Cross3 | OneLineComment | False | Passed | |
cc2bae25e357344604bbcae534ca905ca6fb1b3d |
TLC with reduction strategy:
|
Cross3 | MultiLineComment | True | Passed | |
071f05aca08b7c926e68d3430b6f7b81388a0476 |
TLC with reduction strategy:
|
Cross3 | MultiLineComment | False | Passed | |
8c7bd6dbba49651e7ec7ccef01543badf61dce7f |
TLC with reduction strategy:
|
Cross3 | BoolSet | True | Passed | |
96744e5d0574551a6d5f0d4c09a204c9f9cb49e6 |
TLC with reduction strategy:
|
Cross3 | BoolSet | False | Passed | |
f97b162e8720a76d461cb27361a82806a701f5b1 |
TLC with reduction strategy:
|
Cross3 | Let | True | Passed | |
1aaca6b938d5ea5508ae79f5bff507be8c15e4ee |
TLC with reduction strategy:
|
Cross3 | Let | False | Passed | |
a560886a9701828879cb6453d309094d7939cf40 |
TLC with reduction strategy:
|
Cross3 | SetEmpty | True | Passed | |
e282a08ab4d9c6acbb57aeb2ae615ac6f52c7aee |
TLC with reduction strategy:
|
Cross3 | SetEmpty | False | Passed | |
e731351ebd1d93c6e49687b089b759b7c2fd62cb |
TLC with reduction strategy:
|
Cross3 | Set0 | True | Passed | |
b2725789c769a86e91630730099a1afeccb844fc |
TLC with reduction strategy:
|
Cross3 | Set0 | False | Passed | |
4bc7d6c13ebd53b3c4203161dd31684e687a5b11 |
TLC with reduction strategy:
|
Cross3 | Set1 | True | Passed | |
63b15971e3e58bef47552b034a3ed4aa367a718d |
TLC with reduction strategy:
|
Cross3 | Set1 | False | Passed | |
df0bef336079c49f1c0dbe152c1eba41883cfc34 |
TLC with reduction strategy:
|
Cross3 | Set2 | True | Passed | |
e1e35008e2f32a98dd6197c5a7eb7f096271c7ad |
TLC with reduction strategy:
|
Cross3 | Set2 | False | Passed | |
94802b90e6c4536fc2825c1894a4626ec59ddd95 |
TLC with reduction strategy:
|
Cross3 | Choose | True | Passed | |
98bfe2ffd0f6a58ad23d04e7a98595acad237586 |
TLC with reduction strategy:
|
Cross3 | Choose | False | Passed | |
99f22b43fadf6f04737824fd0817a49e8cc3aaad |
TLC with reduction strategy:
|
Cross3 | FunApp | True | Passed | |
116175f9e30978859303fb25a470407f55febaad |
TLC with reduction strategy:
|
Cross3 | FunApp | False | Passed | |
683c0726fc76a94bc564df4c04fd13f3810811f6 |
TLC with reduction strategy:
|
Cross3 | Prime | True | Passed | |
0c5af19a81b3577416c1646bcb90b5f5b8430bd2 |
TLC with reduction strategy:
|
Cross3 | Prime | False | Passed | |
9bcd695055a8074a4263bba6c93ce4b6f9f892f9 |
TLC with reduction strategy:
|
Cross3 | Def0 | True | Passed | |
8b091d0368fede7091b0103cecf11476a5a4c74a |
TLC with reduction strategy:
|
Cross3 | Def0 | False | Passed | |
ea3608986cba1f634f7306cd31c58b4c1774c9ae |
TLC with reduction strategy:
|
Cross3 | LetDef0 | True | Passed | |
7a2ab64033439f96def5415c3a5f38a6eaa1739c |
TLC with reduction strategy:
|
Cross3 | LetDef0 | False | Passed | |
b5f46fff85e7f8f762f4523f4f204e49e21d73b7 |
TLC with reduction strategy:
|
Cross3 | Def1 | True | Passed | |
4dcf61dba82ac62d2dcb1a625bee04d8ad8d3226 |
TLC with reduction strategy:
|
Cross3 | Def1 | False | Passed | |
eef006a24b005ebae3a4956ceb461df8ee903d58 |
TLC with reduction strategy:
|
Cross3 | LetDef1 | True | Passed | |
cef7d4d3bc5029a76f368293e8a9cc722ec32cf4 |
TLC with reduction strategy:
|
Cross3 | LetDef1 | False | Passed | |
51f0fada82de278e9ef109e737e2f37e13c500b8 |
TLC with reduction strategy:
|
Cross3 | Def2 | True | Passed | |
b20de0d429435282040a453772918382881583e3 |
TLC with reduction strategy:
|
Cross3 | Def2 | False | Passed | |
6e60ed052446b0e4a6a9e0a93f4cdfc1f8f2747e |
TLC with reduction strategy:
|
Cross3 | LetDef2 | True | Passed | |
a7cf6ac5ca1d889f19d5a465e120d4755a0dfa6d |
TLC with reduction strategy:
|
Cross3 | LetDef2 | False | Passed | |
00880020577b2c5579fa895706f724e8122a5fdd |
TLC with reduction strategy:
|
Cross3 | Def1Recursive | True | Passed | |
895b214dccf328daf10d41654daae4342482ba0b |
TLC with reduction strategy:
|
Cross3 | Def1Recursive | False | Passed | |
4b8b339b4de5cdb9bdda8a69acaec26872be5d8e |
TLC with reduction strategy:
|
Cross3 | LetDef1Recursive | True | Passed | |
a95b6473e44069e38919ee682f3c8eeda52fbcfa |
TLC with reduction strategy:
|
Cross3 | LetDef1Recursive | False | Passed | |
c420091c14ebb5cce47a294c8d0841882486e36b |
TLC with reduction strategy:
|
Cross3 | Extends | True | Passed | |
30324f15e887659429bf9a1b0b366d2d9b1594db |
TLC with reduction strategy:
|
Cross3 | Extends | False | Passed | |
e0a14c28acddbcb0f965d53dbe4e3a5fb93047b3 |
TLC with reduction strategy:
|
Cross3 | ExtendsInDifferentFolder | True | Passed | |
867e7434c855082cca2aa5ed60aad1d7c4fb8e0f |
TLC with reduction strategy:
|
Cross3 | ExtendsInDifferentFolder | False | Passed | |
23a757fbacd1604242721a8563964b25408fd8e7 |
TLC with reduction strategy:
|
Cross3 | Variable | True | Passed | |
3415d6d54d7f140fa3e4a6cbcc0d660e91395540 |
TLC with reduction strategy:
|
Cross3 | Variable | False | Passed | |
e11de026e1f89ab1be591075b1c309e1ea8305ad |
TLC with reduction strategy:
|
Cross3 | Constant | True | Passed | |
2f9b02f2c9d7f5e507b7af6f9eb1ec4bc61909ec |
TLC with reduction strategy:
|
Cross3 | Constant | False | Passed | |
12831f2bc26ba6272636f60139755cc815579da6 |
TLC with reduction strategy:
|
Cross3 | ConstantRank1 | True | Passed | |
410a48c6de893d495e07e22cfd04a6d5729050b6 |
TLC with reduction strategy:
|
Cross3 | ConstantRank1 | False | Passed | |
95307b5c20105dc603c8b9453ed9ebc3dc99fffd |
TLC with reduction strategy:
|
Cross3 | Instance | True | Passed | |
5be5796fd54ee531d7956b2a07d8e23c91234892 |
TLC with reduction strategy:
|
Cross3 | Instance | False | Passed | |
95f7441850cbd35016f4c024a8e88cd8d0e0681f |
TLC with reduction strategy:
|
Cross3 | InstanceWith | True | Passed | |
37621ca8ddd0123bf360497eebf5d548e757ef61 |
TLC with reduction strategy:
|
Cross3 | InstanceWith | False | Passed | |
2512a315608be983f420f1f64272c03c81909082 |
TLC with reduction strategy:
|
Cross3 | InstanceNamed | True | Passed | |
9d99d415c52d2f04bcbf9086c9b314fccfbd5118 |
TLC with reduction strategy:
|
Cross3 | InstanceNamed | False | Passed | |
d3b48acc6fc094eba255da0bacaeb82a2db08258 |
TLC with reduction strategy:
|
Cross3 | InstanceNamedWith | True | Passed | |
6bb4916072ac1c3bf2e80c4810c8d5f374f9ddf0 |
TLC with reduction strategy:
|
Cross3 | InstanceNamedWith | False | Passed | |
655394c499d66646f9d5e171474971b81307b503 |
TLC with reduction strategy:
|
Cross3 | InstanceInFolder | True | Passed | |
d21c9d9c6dc973fe20fb068f8d7bfab3b120299f |
TLC with reduction strategy:
|
Cross3 | InstanceInFolder | False | Passed | |
55be40f5a3b5f1177947088ccde392af5c26864c |
TLC with reduction strategy:
|
Cross3 | InstanceWithInFolder | True | Passed | |
76132811d12c996ecd5206eaada12983afa255e9 |
TLC with reduction strategy:
|
Cross3 | InstanceWithInFolder | False | Passed | |
ae0a486fcdb54619766548b9ae442d1880eb7e7a |
TLC with reduction strategy:
|
Cross3 | InstanceNamedInFolder | True | Passed | |
3d18d77f198afa9a4fadee23226b586490f4ff8c |
TLC with reduction strategy:
|
Cross3 | InstanceNamedInFolder | False | Passed | |
56fcbffec02ed297a5e94419c1d453749550f657 |
TLC with reduction strategy:
|
Cross3 | InstanceNamedWithInFolder | True | Passed | |
2f9cd58caa5992619cf806fa55f4392e809b7458 |
TLC with reduction strategy:
|
Cross3 | InstanceNamedWithInFolder | False | Passed | |
6f37130c190a229ee521b6f6285d5b4b4c94a5f8 |
TLC with reduction strategy:
|
Cross3 | Cross2 | True | Passed | |
6ac66d0943ebd048487097b8d31e4f759ae977a9 |
TLC with reduction strategy:
|
Cross3 | Cross2 | False | Passed | |
d195e2cb1f3ff45bb9b4dccc9c2610b254c893e8 |
TLC with reduction strategy:
|
Cross3 | Cross3 | True | Passed | |
67bdf1cc3fb997141997cf593901278e9a2fc703 |
TLC with reduction strategy:
|
Cross3 | Cross3 | False | Passed | |
14265d583abf479b21168a14be85cc3f05fd4f3d |
TLC with reduction strategy:
|
Cross3 | FunSet | True | Passed | |
bfc81eb3e62eec7d03b9903ab60580d03cb02115 |
TLC with reduction strategy:
|
Cross3 | FunSet | False | Passed | |
bcbb2bdbb68bd7e42c9e7dd0ed945a3206f6d890 |
TLC with reduction strategy:
|
Cross3 | RecordSet | True | Passed | |
fb0e5b7c275b81338fd544a95834ebb696f7dbae |
TLC with reduction strategy:
|
Cross3 | RecordSet | False | Passed | |
21e7286885f9c6110d6caf029a706ba52924c176 |
TLC with reduction strategy:
|
Cross3 | SetDiff | True | Passed | |
6e38ed4ace995cadad38ec2fbe1209156ba41137 |
TLC with reduction strategy:
|
Cross3 | SetDiff | False | Passed | |
44ca94bc59102c51d7ddd1e1abbe1317daa52619 |
TLC with reduction strategy:
|
Cross3 | SetUnion | True | Passed | |
59635122a9ebbca6bcdd47c8278406ae447bf39c |
TLC with reduction strategy:
|
Cross3 | SetUnion | False | Passed | |
e4a3811f0556567bfe31c1ca05d8718d7c2fa8b2 |
TLC with reduction strategy:
|
Cross3 | SetIntersect | True | Passed | |
6dd7ae93408be3cedf0122c74edc6ec998bfc158 |
TLC with reduction strategy:
|
Cross3 | SetIntersect | False | Passed | |
5d9bfe5c5b38b21b3195dee88d9eb9eb0cfa4cc5 |
TLC with reduction strategy:
|
Cross3 | IfCond | True | Passed | |
1edad3efedfd47b99c69dacd2c302b52f21babe4 |
TLC with reduction strategy:
|
Cross3 | IfCond | False | Passed | |
a9ef97d29d81f6ae93a6d065fd33ceb9a3a55b0e |
TLC with reduction strategy:
|
Cross3 | IfThen | True | Passed | |
142de09aceda18dbc5414bce3d449f428ae69dcd |
TLC with reduction strategy:
|
Cross3 | IfThen | False | Passed | |
c254e712178b88719f6e50aebb94d52ac179952a |
TLC with reduction strategy:
|
Cross3 | IfElse | True | Passed | |
95deca4495394215994eba2b6bc6781c6287e8a3 |
TLC with reduction strategy:
|
Cross3 | IfElse | False | Passed | |
4e6deec40505133a3d1525493c1950494138af87 |
TLC with reduction strategy:
|
Cross3 | Subset | True | Passed | |
c72472baeda5969f7cdc992271e76a3963ef58c7 |
TLC with reduction strategy:
|
Cross3 | Subset | False | Passed | |
91fd381f11b7245092dc10aaf4f1698db6ebe0af |
TLC with reduction strategy:
|
Cross3 | Domain | True | Passed | |
fa8826f64cf75d0358b6822e5bf245ed532ed32f |
TLC with reduction strategy:
|
Cross3 | Domain | False | Passed | |
1ab7aaef829bc5a645d076f6c037b58955d811be |
TLC with reduction strategy:
|
Cross3 | Union | True | Passed | |
5ac0ba978771c6f3145a176ee201c359d51036cf |
TLC with reduction strategy:
|
Cross3 | Union | False | Passed | |
85edeb8ab7f629b6cfe81c279d27dabecd6dc01c |
TLC with reduction strategy:
|
Cross3 | NumRange | True | Passed | |
78486208f66938d91cbe81cefa44ea54a36416cf |
TLC with reduction strategy:
|
Cross3 | NumRange | False | Passed | |
d2b26369e803f3c8d4aad0cfffe866d6f5051168 |
TLC with reduction strategy:
|
Cross3 | TlcPermuteFun | True | Passed | |
487ff6aa8cd5dff94b8e3ef667d6ddec8cea2024 |
TLC with reduction strategy:
|
Cross3 | TlcPermuteFun | False | Passed | |
9bd7b0e93e0c95ff08fb1461baa485d5fc28d108 |
TLC with reduction strategy:
|
Cross3 | TlcEval | True | Passed | |
cc472997f7d324fdc59e4802a182cc2f7fb4c7a4 |
TLC with reduction strategy:
|
Cross3 | TlcEval | False | Passed | |
0d43cd51d5d3b33b3e82aea644810fc3240bd1a3 |
TLC with reduction strategy:
|
Cross3 | BagBagToSet | True | Passed | |
aba807af1bc155ea0beab189e7227cf99056b88c |
TLC with reduction strategy:
|
Cross3 | BagBagToSet | False | Passed | |
d764f05c455cfda7e45d5b8d20d254a12062b833 |
TLC with reduction strategy:
|
Cross3 | BagSubBag | True | Passed | |
e1f9af0611381723d1bb22c9bad0df1f69b2e555 |
TLC with reduction strategy:
|
Cross3 | BagSubBag | False | Passed | |
63ab8696715f4cd91e0693c926f40c32a315be54 |
TLC with reduction strategy:
|
Cross3 | SeqHead | True | Passed | |
60dabc74b73e99af6c3846ee72949c793610aa8a |
TLC with reduction strategy:
|
Cross3 | SeqHead | False | Passed |