Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
a613658b64b7f9b74fceffabc66260b751644c97 |
TLC with reduction strategy:
|
Eq | Cross2 | True | Passed | |
f6736adc843ad531037d8767954c6de6877c3c97 |
TLC with reduction strategy:
|
Eq | Cross2 | False | Passed | |
bfc585afb92774d93abfa1ef6e5e65e7e8b0c6de |
TLC with reduction strategy:
|
Ne | Cross2 | True | Passed | |
7c4bbb10799c099706e20d14a5cff2e3e2de49ee |
TLC with reduction strategy:
|
Ne | Cross2 | False | Passed | |
2bc785f20dd0fb0d11e57341bcd062a5b7f8f52c |
TLC with reduction strategy:
|
Let | Cross2 | True | Passed | |
9d80bade69fac0d813a57d874b08d2b7b1ac2301 |
TLC with reduction strategy:
|
Let | Cross2 | False | Passed | |
5491101a2d4595e2f63ff8fd33e595cf2efafbf2 |
TLC with reduction strategy:
|
Set0 | Cross2 | True | Passed | |
5cbc352edb379dfe41ad64df56b062afc34b3750 |
TLC with reduction strategy:
|
Set0 | Cross2 | False | Passed | |
f9ebfeeca17858c2fb757eee9e61cb745dad1f92 |
TLC with reduction strategy:
|
Set1 | Cross2 | True | Passed | |
a36869257851c585de28edf361b09780fd30b19c |
TLC with reduction strategy:
|
Set1 | Cross2 | False | Passed | |
a0010f82624b83188650a4b517a47af019455e6c |
TLC with reduction strategy:
|
Set2 | Cross2 | True | Passed | |
dc1e7b77976f79ce27fe60ce1d18e30b7691ebc3 |
TLC with reduction strategy:
|
Set2 | Cross2 | False | Passed | |
4055f7b2b1128c266f069fbae44e7ef436016189 |
TLC with reduction strategy:
|
Fun | Cross2 | True | Passed | |
56b492340cfa75c4b1bffdd23b730ad19a31e270 |
TLC with reduction strategy:
|
Fun | Cross2 | False | Passed | |
fa6a562b6f7bcc071e81f57eaa8427572a543c58 |
TLC with reduction strategy:
|
In | Cross2 | True | Passed | |
86dd193a4fa55bb388ce568b330921c018617406 |
TLC with reduction strategy:
|
In | Cross2 | False | Passed | |
7f8dd0fa4f7e8c1f7dfc6b76a4c2bd9c79e68eaf |
TLC with reduction strategy:
|
NotIn | Cross2 | True | Passed | |
60f154520fbbbce4cadf82c2017039f44f81e0f3 |
TLC with reduction strategy:
|
NotIn | Cross2 | False | Passed | |
1252cb16722c7bb91052e16c49c7316301c84bb4 |
TLC with reduction strategy:
|
Record | Cross2 | True | Passed | |
5793b485c9afd6934808ecc5ec35e2055c5f5ec7 |
TLC with reduction strategy:
|
Record | Cross2 | False | Passed | |
95c135cdb8cca1338a23a543dd38555718a9ccba |
TLC with reduction strategy:
|
Tuple | Cross2 | True | Passed | |
5061f86a30c45963dfc62d32c65d2e9bc5871836 |
TLC with reduction strategy:
|
Tuple | Cross2 | False | Passed | |
9ca4847a4a5372ec832a2d2529ec807c0c087b75 |
TLC with reduction strategy:
|
FunApp | Cross2 | True | Passed | |
8901f96b1d2035f762864affb285e8df30deace5 |
TLC with reduction strategy:
|
FunApp | Cross2 | False | Passed | |
47b10761a710637905d30566587a387578c411ab |
TLC with reduction strategy:
|
Except1Fun | Cross2 | True | Passed | |
f4f34dc4adf0d876c013694c5e51423143c7fda1 |
TLC with reduction strategy:
|
Except1Fun | Cross2 | False | Passed | |
141639c8a484ec422cc4bddba8c3f1cb115f9742 |
TLC with reduction strategy:
|
Except1FunWithAt | Cross2 | True | Passed | |
a3dbdabfafaaa44102098d6c0289926dcdfb6a01 |
TLC with reduction strategy:
|
Except1FunWithAt | Cross2 | False | Passed | |
9e94afd65365df8d3988d7b5c919e298d14d27c3 |
TLC with reduction strategy:
|
Except1Rec | Cross2 | True | Passed | |
b743fa41f468854ced773ff574afbd2de46bce18 |
TLC with reduction strategy:
|
Except1Rec | Cross2 | False | Passed | |
d0bff252637551f17271089e34590c6be42526d0 |
TLC with reduction strategy:
|
Except1RecWithAt | Cross2 | True | Passed | |
37f2be5fc9d018c29487ce83a0b707a708da4d08 |
TLC with reduction strategy:
|
Except1RecWithAt | Cross2 | False | Passed | |
13dfaa0adf41e8e772702e4ebc26b072dd85c0af |
TLC with reduction strategy:
|
Except2Fun | Cross2 | True | Passed | |
2dfad2d397a3bbbfc223e1bd4d95e6143e53e091 |
TLC with reduction strategy:
|
Except2Fun | Cross2 | False | Passed | |
d42dfbd9d4e9e76e68a598c29da392ed8feeee3e |
TLC with reduction strategy:
|
Prime | Cross2 | True | Passed | |
7684ec506ed1c5defefed2c9c044a8c053a05523 |
TLC with reduction strategy:
|
Prime | Cross2 | False | Passed | |
8bbd8693ae47d210dabec557cd12ab6c314b9c8f |
TLC with reduction strategy:
|
DefFun | Cross2 | True | Passed | |
55d22b2abe22404978ba804c6b37fa8182de3340 |
TLC with reduction strategy:
|
DefFun | Cross2 | False | Passed | |
89d80ea1d4d378b25c5ca39e0e670f6221e1e685 |
TLC with reduction strategy:
|
LetDefFun | Cross2 | True | Passed | |
139a40aa6806480fd8d1248ad20def05d20f53b2 |
TLC with reduction strategy:
|
LetDefFun | Cross2 | False | Passed | |
8753e9338505da4eb40f9a8153ee11e0b249c57e |
TLC with reduction strategy:
|
DefFunRecursive | Cross2 | True | Passed | |
3bf8c588a16563c2fc570cf90c31c04e41ef97c8 |
TLC with reduction strategy:
|
DefFunRecursive | Cross2 | False | Passed | |
61ca651359239fa4763546df157934be1a149312 |
TLC with reduction strategy:
|
LetDefFunRecursive | Cross2 | True | Passed | |
ba64059901e713242d743705d030d55dc7329080 |
TLC with reduction strategy:
|
LetDefFunRecursive | Cross2 | False | Passed | |
d69e8d025f0d7ae8533070cc73248feea8b412b0 |
TLC with reduction strategy:
|
Def0 | Cross2 | True | Passed | |
6c856adbab2ce6b6ed204eb9db45200e44b48416 |
TLC with reduction strategy:
|
Def0 | Cross2 | False | Passed | |
74692e65a7f252d3eb2f01a5c3ad092e3be03d80 |
TLC with reduction strategy:
|
LetDef0 | Cross2 | True | Passed | |
7be114be06a292aead06edd003c09140664ae869 |
TLC with reduction strategy:
|
LetDef0 | Cross2 | False | Passed | |
a1998ef2b7ad8bde2a8039ee67edaa33f5326deb |
TLC with reduction strategy:
|
Def1 | Cross2 | True | Passed | |
8742944284ffc28882f602888086988768c9e6c0 |
TLC with reduction strategy:
|
Def1 | Cross2 | False | Passed | |
aa684b3bfb4b50ab5b94afbcdb31386ecc56f374 |
TLC with reduction strategy:
|
LetDef1 | Cross2 | True | Passed | |
b622934923517d89cdc79a76ae614d02f2d96fb5 |
TLC with reduction strategy:
|
LetDef1 | Cross2 | False | Passed | |
0fc4fd2a94be950b375f698b7dddbefdd915a548 |
TLC with reduction strategy:
|
Def2 | Cross2 | True | Passed | |
15b43195fa6253d9c3ab36a38fab0dde2d205698 |
TLC with reduction strategy:
|
Def2 | Cross2 | False | Passed | |
d6a2f0a57fae1ad2d2709e47ec17e390e30dafba |
TLC with reduction strategy:
|
LetDef2 | Cross2 | True | Passed | |
2babad342777e98e8c16147a465e60a3e34182dc |
TLC with reduction strategy:
|
LetDef2 | Cross2 | False | Passed | |
f81da67c179c0dbbd96197fdb22cffdafc3d5ee5 |
TLC with reduction strategy:
|
Def1Recursive | Cross2 | True | Passed | |
83296bbb6b04124358a460a36e57486608b8a086 |
TLC with reduction strategy:
|
Def1Recursive | Cross2 | False | Passed | |
55f829d2f76e14c2e9ecd7478c5f7b8cf74e4bb1 |
TLC with reduction strategy:
|
LetDef1Recursive | Cross2 | True | Passed | |
86088b3ab13aea4f59d2080fdc77d745ef44a706 |
TLC with reduction strategy:
|
LetDef1Recursive | Cross2 | False | Passed | |
30bde3a0545846d00f51a45c4528a2a50d2eda2e |
TLC with reduction strategy:
|
Extends | Cross2 | True | Passed | |
a33db22ae543a4d1b2f513053a9bbf8e206bcf44 |
TLC with reduction strategy:
|
Extends | Cross2 | False | Passed | |
8b14ab0804f55fcc2843a29911bf6ec3eb54b93b |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Cross2 | True | Passed | |
ea865893c485f830e04435183d43e7a2d74c209f |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Cross2 | False | Passed | |
495d925dc90c0812222cd09e5137d5da5f1de3cf |
TLC with reduction strategy:
|
Variable | Cross2 | True | Passed | |
73d7e4b596c9d6c93f8a5239ee60309eb6163ad3 |
TLC with reduction strategy:
|
Variable | Cross2 | False | Passed | |
c29d698d768423841e055bb4b9f2c0c7f1eb5180 |
TLC with reduction strategy:
|
VariableViewExclude | Cross2 | True | Passed | |
b9fed3bd1f6333f3aa25e909d3d9104ae1ea220c |
TLC with reduction strategy:
|
VariableViewExclude | Cross2 | False | Passed | |
53831857e0d5172a9af4b3d320f6d521fcb92984 |
TLC with reduction strategy:
|
Constant | Cross2 | True | Passed | |
858f27f397d9701aaddc491c26878ebf4e667006 |
TLC with reduction strategy:
|
Constant | Cross2 | False | Passed | |
c6d5904ca52291ebfe4b0405048d898517d03f36 |
TLC with reduction strategy:
|
ConstantRank1 | Cross2 | True | Passed | |
b0eebfbc86a8263cdc697bff8c1b137b1a9bfb5c |
TLC with reduction strategy:
|
ConstantRank1 | Cross2 | False | Passed | |
93558f5eaadce1f42e106e8ed214b2a60db7bbf1 |
TLC with reduction strategy:
|
Instance | Cross2 | True | Passed | |
ec726e71b729a9800418629ed757addba92f12e4 |
TLC with reduction strategy:
|
Instance | Cross2 | False | Passed | |
92e7e67c269becaf310ecdbdb835efa1a336e448 |
TLC with reduction strategy:
|
InstanceWith | Cross2 | True | Passed | |
700989f1d698988af8e5cb2c0a1c3e52d4e5df17 |
TLC with reduction strategy:
|
InstanceWith | Cross2 | False | Passed | |
b2ba7e16af9c8aebbdd8e0f58b4afacdd859be76 |
TLC with reduction strategy:
|
InstanceNamed | Cross2 | True | Passed | |
5ad3da8a6130b6dceaa32020ac7ac4ff20255c21 |
TLC with reduction strategy:
|
InstanceNamed | Cross2 | False | Passed | |
f76dac8e608d6d5c9f3d68141bbe1553e223197f |
TLC with reduction strategy:
|
InstanceNamedWith | Cross2 | True | Passed | |
e195cf829b07ec7e7d10531c530837f4ee00b176 |
TLC with reduction strategy:
|
InstanceNamedWith | Cross2 | False | Passed | |
d75399672dfbb46d5d80a8bbd0cbb887688726d1 |
TLC with reduction strategy:
|
InstanceInFolder | Cross2 | True | Passed | |
5d45033634cbfc0aafc32bbb1b7b097dc8eae73e |
TLC with reduction strategy:
|
InstanceInFolder | Cross2 | False | Passed | |
8508a159610c67de532693cf707d787b917b27ac |
TLC with reduction strategy:
|
InstanceWithInFolder | Cross2 | True | Passed | |
cf3ff23497b877f554e16ce0ec5a8e188dba3ca3 |
TLC with reduction strategy:
|
InstanceWithInFolder | Cross2 | False | Passed | |
a09393964223155486442ce826039c6a6a4baf29 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Cross2 | True | Passed | |
2d9032b3d8a3ae1ba804d97983514b9612cf9ab4 |
TLC with reduction strategy:
|
InstanceNamedInFolder | Cross2 | False | Passed | |
f062f766d6e66e30761522a889614f72ac5e8607 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Cross2 | True | Passed | |
0cbb95f2ccfce7008cebd954f6ba66b0a97f354a |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Cross2 | False | Passed | |
39c02d5b2f3831b7746d5cfe32701d1e784c694c |
TLC with reduction strategy:
|
Lambda | Cross2 | True | Passed | |
5e4ac938dd77f7ab5e68d65b960cfad6ec31773e |
TLC with reduction strategy:
|
Lambda | Cross2 | False | Passed | |
cb9aed5cc7f1fbb7540c3651e612d0466745d7f2 |
TLC with reduction strategy:
|
Cross2 | Cross2 | True | Passed | |
f942af1e2a3e6dbdadba04c6c074e5bf2c52ecc2 |
TLC with reduction strategy:
|
Cross2 | Cross2 | False | Passed | |
1af72de656b0e7ba3a49fe4b23ed56ce3c22a635 |
TLC with reduction strategy:
|
Cross3 | Cross2 | True | Passed | |
3581e4c4954be2baca1d6be295e316719d2f3eb6 |
TLC with reduction strategy:
|
Cross3 | Cross2 | False | Passed | |
3813da91d168d7855df7fa82c44a7792b28890b0 |
TLC with reduction strategy:
|
FunSet | Cross2 | True | Passed | |
bfce17f4a71be02d10beca054294bee90bf45aca |
TLC with reduction strategy:
|
FunSet | Cross2 | False | Passed | |
dac9271913fdc841df95ac978ebda922e0eb59f9 |
TLC with reduction strategy:
|
RecordSet | Cross2 | True | Passed | |
f72605fb1a67c6b323ed7c79667b6ac05a137317 |
TLC with reduction strategy:
|
RecordSet | Cross2 | False | Passed | |
1f9d3a5415c9b8ef7e8c18f04b1ea21712bade53 |
TLC with reduction strategy:
|
SetDiff | Cross2 | True | Passed | |
09de0c194e39e6c0a108fad9c014d059ed3d4970 |
TLC with reduction strategy:
|
SetDiff | Cross2 | False | Passed | |
3546dca08cde9b2c58d2dbb75fbd2871ae5d780c |
TLC with reduction strategy:
|
SetUnion | Cross2 | True | Passed | |
899160a2d9104adee8e9ee2cea239ee74ad4a831 |
TLC with reduction strategy:
|
SetUnion | Cross2 | False | Passed | |
f064eae9eaaf98d78a329e8fd13de90598c83014 |
TLC with reduction strategy:
|
SetIntersect | Cross2 | True | Passed | |
af89211ab676b999338cac0935634deda4b1f7ad |
TLC with reduction strategy:
|
SetIntersect | Cross2 | False | Passed | |
8352d4bc5816101e54622fc08fdf4aab7596fd8d |
TLC with reduction strategy:
|
SubsetEq | Cross2 | True | Passed | |
d50e573a7ec2384cb52778e678523e93ba8fd9a1 |
TLC with reduction strategy:
|
SubsetEq | Cross2 | False | Passed | |
3188e905ec96dde74886e16a629d61b76811fa9b |
TLC with reduction strategy:
|
IfThen | Cross2 | True | Passed | |
9f3bf49d2985bb48ac9a3ff02b45f61ae42822c1 |
TLC with reduction strategy:
|
IfThen | Cross2 | False | Passed | |
874cb4b9bc48f569eb80057cac94da204b0e8d86 |
TLC with reduction strategy:
|
IfElse | Cross2 | True | Passed | |
0de349832a454dae3277f9450462f4548fb3d792 |
TLC with reduction strategy:
|
IfElse | Cross2 | False | Passed | |
75f7cbf870e8343f883508bc2c94a1db7f8bf80e |
TLC with reduction strategy:
|
Subset | Cross2 | True | Passed | |
074aa6bdfe747a0d79e4a33ee75628d83744299a |
TLC with reduction strategy:
|
Subset | Cross2 | False | Passed | |
7611ca7b207a897cbbc0a4eb048ca1477168274a |
TLC with reduction strategy:
|
Unchanged | Cross2 | True | Passed | |
1958c9e4738981cac983c2428be2d89fa31c7913 |
TLC with reduction strategy:
|
Unchanged | Cross2 | False | Passed | |
b59a2d8fa556c879b2e149753b0767a05d60075b |
TLC with reduction strategy:
|
SeqSeq | Cross2 | True | Passed | |
741d457bfa1ea55370325a1affe6d9ac1659fe77 |
TLC with reduction strategy:
|
SeqSeq | Cross2 | False | Passed | |
b3ffe7290d01e053cda8e32efd53498235446e01 |
TLC with reduction strategy:
|
TlcSingletonFun | Cross2 | True | Passed | |
7e5f5e3114599148087244374ab649365ba2461c |
TLC with reduction strategy:
|
TlcSingletonFun | Cross2 | False | Passed | |
a767d12682ff5e26e501aa161c305be566cce2fc |
TLC with reduction strategy:
|
TlcPermuteFun | Cross2 | True | Passed | |
b0da0edb8e27602b09364c26e3d550b1a23920c5 |
TLC with reduction strategy:
|
TlcPermuteFun | Cross2 | False | Passed | |
7d03e3ca1c7afb0cce67a86197aadb1de503ccc6 |
TLC with reduction strategy:
|
TlcEval | Cross2 | True | Passed | |
d36e9c53c58023915a865a907b4327e7df517ead |
TLC with reduction strategy:
|
TlcEval | Cross2 | False | Passed | |
6ccbb42133cdf4b66fcf46d22f96ea4463e20ba3 |
TLC with reduction strategy:
|
BagSetToBag | Cross2 | True | Passed | |
103478d1016eb4b80a231aede6db7eb32ad15d00 |
TLC with reduction strategy:
|
BagSetToBag | Cross2 | False | Passed | |
7089f3cbfc5584627b4d6c3edd91e62392f6fa74 |
TLC with reduction strategy:
|
BagBagIn | Cross2 | True | Passed | |
570c94e764e5b98d482730624d5c1bb9a053091f |
TLC with reduction strategy:
|
BagBagIn | Cross2 | False | Passed | |
349b578e5c6344e15c44b132654d32d4da5462ff |
TLC with reduction strategy:
|
BagCopiesIn | Cross2 | True | Passed | |
dd06f639cfdc1d618a2e870367aff8d1d91163d6 |
TLC with reduction strategy:
|
BagCopiesIn | Cross2 | False | Passed | |
ab64f8e3221490a0293d5e4742e3eaefc7b6e32f |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | Cross2 | True | Passed | |
c1c067fe5c7c50a51fa8586ea97f94bead668c43 |
TLC with reduction strategy:
|
FiniteSetsIsFiniteSet | Cross2 | False | Passed | |
6e1e3f7cc141688edcd52c18babc5a0ddcb3402b |
TLC with reduction strategy:
|
FiniteSetsCardinality | Cross2 | True | Passed | |
c4906da013c64131bd711c08b6a58f4c5061265a |
TLC with reduction strategy:
|
FiniteSetsCardinality | Cross2 | False | Passed | |
d6247080b68a33b760f760868ea2c73c3d48cafa |
TLC with reduction strategy:
|
SeqAppend | Cross2 | True | Passed | |
07f17b14737b2c0e525c1c07bd8cbf4712f7d7da |
TLC with reduction strategy:
|
SeqAppend | Cross2 | False | Passed |