Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
0efb0063233634ec45adffee39c172b658bacf0d |
TLC with reduction strategy:
|
AndProp | Boxed | True | Passed | |
14c7ccb7a55f2efb521b066db51ce65b09b8ab8a |
TLC with reduction strategy:
|
AndProp | Boxed | False | Passed | |
60bf55acdc554aeb00130d8d8b9aa33b6982f423 |
TLC with reduction strategy:
|
Def0 | Boxed | True | Passed | |
54e04e2bee494b86c72fb0633f38d4e2ae1ebcfe |
TLC with reduction strategy:
|
Def0 | Boxed | False | Passed | |
2113884b8af9827b3bbf839b8f8a57ce53a8f7f4 |
TLC with reduction strategy:
|
LetDef0 | Boxed | True | Passed | |
51715f92bedfeb0993cd5de81e96741957322cde |
TLC with reduction strategy:
|
LetDef0 | Boxed | False | Passed | |
cfa7b15785797b20de7ba9ff2b85d1e5260dd3d6 |
TLC with reduction strategy:
|
Def1 | Boxed | True | Passed | |
d980952381d7d67ce5a9319efad2dc0d84096b06 |
TLC with reduction strategy:
|
Def1 | Boxed | False | Passed | |
a9575fb261ae59cadd3fc7b4b252e0371a2c20d0 |
TLC with reduction strategy:
|
LetDef1 | Boxed | True | Passed | |
d388df53ec34c985270065040764b7073b140aab |
TLC with reduction strategy:
|
LetDef1 | Boxed | False | Passed | |
7c7e93baa3e62d52b7d57cae3d058fe075b511fa |
TLC with reduction strategy:
|
Def2 | Boxed | True | Passed | |
f05294558567de2110d146296dc0cbf3a4af28ba |
TLC with reduction strategy:
|
Def2 | Boxed | False | Passed | |
8240daf1bf0c755710d14cdd2141d158020fa31a |
TLC with reduction strategy:
|
LetDef2 | Boxed | True | Passed | |
d6a8b9c507353f29904a912dfccaf0bf07861c89 |
TLC with reduction strategy:
|
LetDef2 | Boxed | False | Passed | |
2f75f0a91212a92bb27ab05e07fea1f7e5d5d344 |
TLC with reduction strategy:
|
Def1Recursive | Boxed | True | Passed | |
e044f94287367f4d337072d4487f38186d27e6a3 |
TLC with reduction strategy:
|
Def1Recursive | Boxed | False | Passed | |
c2ea567f3502257caa3479676beae7fe836d23a0 |
TLC with reduction strategy:
|
LetDef1Recursive | Boxed | True | Passed | |
365899d2ed6b266d3cdf2a6815bf9b64bff17a96 |
TLC with reduction strategy:
|
LetDef1Recursive | Boxed | False | Passed | |
decd71967fe277f4edf415c8d3207280ce618f4f |
TLC with reduction strategy:
|
Extends | Boxed | True | Passed | |
0153bde57ab68912d88b1de44258fdc27a22d28d |
TLC with reduction strategy:
|
Extends | Boxed | False | Passed | |
0612b223b9fe363c574a0beae7a5e7f2b769ce6b |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Boxed | True | Passed | |
d2dcd28a7fb8d107892bcd43719b212e8a04a6eb |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | Boxed | False | Passed | |
f3c07ced2d316d72f7e4d54980ba083ba5bdf22f |
TLC with reduction strategy:
|
Instance | Boxed | True | Passed | |
5b142531ee9852477fd983ccdedfe35e0cad0088 |
TLC with reduction strategy:
|
Instance | Boxed | False | Passed | |
9ac0115fdfcde27c8e9a43897b812d12492ff6a4 |
TLC with reduction strategy:
|
InstanceWith | Boxed | True | Passed | |
ff870650c5cb439f052b14b2a0abcf2da5f74177 |
TLC with reduction strategy:
|
InstanceWith | Boxed | False | Passed | |
48508d9d39618bdfbc6111fbcfaa5a67cc3b2cff |
TLC with reduction strategy:
|
InstanceNamed | Boxed | True | Passed | |
2bb0d1d740c4f82979b25eb76c730293a89daf57 |
TLC with reduction strategy:
|
InstanceNamed | Boxed | False | Passed | |
315589216ce8c5bb6c4d887b687a02ad38b39a3e |
TLC with reduction strategy:
|
InstanceNamedWith | Boxed | True | Passed | |
abf9f6d5acc8c8c6e0ddda837814a1161638914e |
TLC with reduction strategy:
|
InstanceNamedWith | Boxed | False | Passed | |
96a35cc1806d4f58616441342772392271c0d5ab |
TLC with reduction strategy:
|
InstanceInFolder | Boxed | True | Passed | |
e5df9f9a5f6e9197075cb832ecc328d4750282ef |
TLC with reduction strategy:
|
InstanceInFolder | Boxed | False | Passed | |
aabfb83408bbf3819b790f6025ad397afc85935e |
TLC with reduction strategy:
|
InstanceWithInFolder | Boxed | True | Passed | |
c9ffcefa136a8da456b0ecfc7deda30c9b09b040 |
TLC with reduction strategy:
|
InstanceWithInFolder | Boxed | False | Passed | |
223d03ead3a73dcbc85fe1fb8fd7f9a5f47e017d |
TLC with reduction strategy:
|
InstanceNamedInFolder | Boxed | True | Passed | |
d1d68493313a1cfee2045388d32794379754ea4a |
TLC with reduction strategy:
|
InstanceNamedInFolder | Boxed | False | Passed | |
ad554e509a01a180e26c251af24a57762c1afdd8 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Boxed | True | Passed | |
267d23d69556ca346e867331c4511d616e47fed9 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | Boxed | False | Passed | |
e25a2839b19ee88586c385ef4bb59cf0aaaab956 |
TLC with reduction strategy:
|
Lambda | Boxed | True | Passed | |
a6c0600765b8b12518ec78dd5822f63804ba6983 |
TLC with reduction strategy:
|
Lambda | Boxed | False | Passed |