Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
6e85c2f6ad01fdbc88547495f4e1ba84304a5c77 |
TLC with reduction strategy:
|
And | OrMultiLine | True | Passed | |
a47750fa60303ade888d4ee3c2e2ec35d7c9e276 |
TLC with reduction strategy:
|
And | OrMultiLine | False | Passed | |
ee97e83915f5b51bf8599a45aa5cebb0e918732b |
TLC with reduction strategy:
|
AndMultiLine | OrMultiLine | True | Passed | |
c8fbb6187e3fcf9e5abe9176b13f71174594552e |
TLC with reduction strategy:
|
AndMultiLine | OrMultiLine | False | Passed | |
faaa4dceb944e4cd323ec3f54d12f757c573f37c |
TLC with reduction strategy:
|
Imply | OrMultiLine | True | Passed | |
6b1ca187d5638cdfd8b1b72477e483c5f6c68eab |
TLC with reduction strategy:
|
Imply | OrMultiLine | False | Passed | |
e8750850d1bff9875b27925dc07ef16c516e7d0a |
TLC with reduction strategy:
|
Not | OrMultiLine | True | Passed | |
1d9e22db0bda494007c13df9715a2d755791ebab |
TLC with reduction strategy:
|
Not | OrMultiLine | False | Passed | |
e526f3b97ec9979a8e9db120e6dddf2b41e71866 |
TLC with reduction strategy:
|
Or | OrMultiLine | True | Passed | |
ef62fdf47f3b757166396086d3c2c89480543c44 |
TLC with reduction strategy:
|
Or | OrMultiLine | False | Passed | |
4aeca7404b56265fc35e2e93350b8c18a650a709 |
TLC with reduction strategy:
|
OrMultiLine | OrMultiLine | True | Passed | |
854fdf76c61473db3f1b496a603597fab7cebded |
TLC with reduction strategy:
|
OrMultiLine | OrMultiLine | False | Passed | |
356cb3ca4e20a423421b73ff6726e1b05ed5a228 |
TLC with reduction strategy:
|
AndProp | OrMultiLine | True | Passed | |
6bea3a717d1300bbc24d50446121e80151c93d28 |
TLC with reduction strategy:
|
AndProp | OrMultiLine | False | Passed | |
d47ec2c295f201f7e0c6e3a89030f759b895dfe0 |
TLC with reduction strategy:
|
Boxed | OrMultiLine | True | Passed | |
f71d4117c99616b0e716abb292ea5b9324a0e637 |
TLC with reduction strategy:
|
Boxed | OrMultiLine | False | Passed | |
dcc8794992d16f8153a98f3a71200c5dd114763a |
TLC with reduction strategy:
|
Eq | OrMultiLine | True | Passed | |
c8380aa343f4ead0e78713e9053be051c19c11e6 |
TLC with reduction strategy:
|
Eq | OrMultiLine | False | Passed | |
dc0180c9d459e3b7ea15d12eab670020e0e39499 |
TLC with reduction strategy:
|
Ne | OrMultiLine | True | Passed | |
d91a668f4a11ba4b262c25e5983c42aa831b0c58 |
TLC with reduction strategy:
|
Ne | OrMultiLine | False | Passed | |
1e591f425d8c7a0ef27986f1f00ea7875802bd01 |
TLC with reduction strategy:
|
Let | OrMultiLine | True | Passed | |
43268fde76c535b6b110be6dd4d3816ce1223822 |
TLC with reduction strategy:
|
Let | OrMultiLine | False | Passed | |
e4222c1a970a48c273eb778e48dc7f9b220693dc |
TLC with reduction strategy:
|
Set0 | OrMultiLine | True | Passed | |
5ace0f8b785d09d0f8360bfeaa04fd45b27ee796 |
TLC with reduction strategy:
|
Set0 | OrMultiLine | False | Passed | |
58d6382536c72c276db9911c695aa83bd2af2fb3 |
TLC with reduction strategy:
|
Set1 | OrMultiLine | True | Passed | |
6d2c703be304739477c29c1c86acee665417e441 |
TLC with reduction strategy:
|
Set1 | OrMultiLine | False | Passed | |
61f51f46fceab1ce431ba720e45573d69fa0a5bd |
TLC with reduction strategy:
|
Set2 | OrMultiLine | True | Passed | |
c9d357dad02fe904a2477d30e56bc78709688243 |
TLC with reduction strategy:
|
Set2 | OrMultiLine | False | Passed | |
e2bdc95d0804039424be012f274dba3ce588207e |
TLC with reduction strategy:
|
Fun | OrMultiLine | True | Passed | |
f4e02c1bcdf5ed43aa2a1be7019d5738117c5a11 |
TLC with reduction strategy:
|
Fun | OrMultiLine | False | Passed | |
ca0f752c68640cdc8fba1ed5368d81556d2146d6 |
TLC with reduction strategy:
|
In | OrMultiLine | True | Passed | |
72b0e778ad4e3207758238cfeb42bbad29aba2df |
TLC with reduction strategy:
|
In | OrMultiLine | False | Passed | |
d5d818a99c78012683186bf582f3685d6709836d |
TLC with reduction strategy:
|
NotIn | OrMultiLine | True | Passed | |
8fe5133baa7cd8731bdc672302399ca82c2d9a71 |
TLC with reduction strategy:
|
NotIn | OrMultiLine | False | Passed | |
0b1cb8148c967d21b3baffa6ddca6e79515b862a |
TLC with reduction strategy:
|
Exists | OrMultiLine | True | Passed | |
14c0bccb8a79dc0b31f09d20cb6834b2f64d071c |
TLC with reduction strategy:
|
Exists | OrMultiLine | False | Passed | |
880fa357329b1ab1208be32beb90c221dd363511 |
TLC with reduction strategy:
|
Forall | OrMultiLine | True | Passed | |
0bd059edcf7abd2fc59e913433067a5f0b741a02 |
TLC with reduction strategy:
|
Forall | OrMultiLine | False | Passed | |
753244fa803536325657fddc041388ead28edd3f |
TLC with reduction strategy:
|
Choose | OrMultiLine | True | Passed | |
4733c0735dc44723ec42df7383586ae1a54de461 |
TLC with reduction strategy:
|
Choose | OrMultiLine | False | Passed | |
d4bd3a1dac0eba46bffbb6e101ef7dc265cc3a35 |
TLC with reduction strategy:
|
Record | OrMultiLine | True | Passed | |
c49e32f4c40ac83fd582684612eb6283b726e7c2 |
TLC with reduction strategy:
|
Record | OrMultiLine | False | Passed | |
4548f07b15f45d6299b4f9f1adf0bbff7b8a6d3c |
TLC with reduction strategy:
|
Tuple | OrMultiLine | True | Passed | |
3f56929b8fb0b5a8b6e8422b73b8ccbccea5d1a1 |
TLC with reduction strategy:
|
Tuple | OrMultiLine | False | Passed | |
ee1f9b7125b4a95b90abbd7b487825b3c28dab37 |
TLC with reduction strategy:
|
FunApp | OrMultiLine | True | Passed | |
b34125e3728d9526940410288f0979cea0b675cf |
TLC with reduction strategy:
|
FunApp | OrMultiLine | False | Passed | |
c194133a523ba10dfeeb3e2cbfb50f6b4f281f0e |
TLC with reduction strategy:
|
Except1Fun | OrMultiLine | True | Passed | |
6427a1afb92b29ee137ca0492f18a58e3d1eed8b |
TLC with reduction strategy:
|
Except1Fun | OrMultiLine | False | Passed | |
e2eac08db5861d9c565d4c02254f2698db2f648f |
TLC with reduction strategy:
|
Except1FunWithAt | OrMultiLine | True | Passed | |
5a56c910d8e00721b445bb1ba81bd4af9c25f0a1 |
TLC with reduction strategy:
|
Except1FunWithAt | OrMultiLine | False | Passed | |
7379ba4cff2b565eccea5d46b13a272135218afc |
TLC with reduction strategy:
|
Except1Rec | OrMultiLine | True | Passed | |
3edf3153e06a07356243c436e9522f5ba84378e1 |
TLC with reduction strategy:
|
Except1Rec | OrMultiLine | False | Passed | |
35550400ff5a90d6d3d4244bf67b4565d1808b0f |
TLC with reduction strategy:
|
Except1RecWithAt | OrMultiLine | True | Passed | |
f025ef0564e446b8ea16245fa231e9b39b5ee50f |
TLC with reduction strategy:
|
Except1RecWithAt | OrMultiLine | False | Passed | |
a131e5db92637cfa569c4f4b10d5f1ca0de1634b |
TLC with reduction strategy:
|
Except2Fun | OrMultiLine | True | Passed | |
7d721ef0017d478f94d41d225530b2b61d5542d4 |
TLC with reduction strategy:
|
Except2Fun | OrMultiLine | False | Passed | |
fdd064dbefffbd89cc6e97760b5a638ca80803b2 |
TLC with reduction strategy:
|
Prime | OrMultiLine | True | Passed | |
240323a05a44b4a9124b1106fe414e5ff3929581 |
TLC with reduction strategy:
|
Prime | OrMultiLine | False | Passed | |
3680024fbb61b00294cc96e7edd3b297093fdc5f |
TLC with reduction strategy:
|
DefFun | OrMultiLine | True | Passed | |
d969126d992f3868a64e0a838f1e6b6f5d77241b |
TLC with reduction strategy:
|
DefFun | OrMultiLine | False | Passed | |
b365017fd081f3a611774c7772dd9cf68a25dadb |
TLC with reduction strategy:
|
LetDefFun | OrMultiLine | True | Passed | |
33a1a45f35175f49676358f1d422218f04f8261c |
TLC with reduction strategy:
|
LetDefFun | OrMultiLine | False | Passed | |
6f150a1bbc8c952ea393678e8f749492b4b7b36a |
TLC with reduction strategy:
|
DefFunRecursive | OrMultiLine | True | Passed | |
ffef44599262fbb902d4ddd8599522ca20ef6099 |
TLC with reduction strategy:
|
DefFunRecursive | OrMultiLine | False | Passed | |
c6fb7925f6fefac9f6c081683916c25a5ee81a28 |
TLC with reduction strategy:
|
LetDefFunRecursive | OrMultiLine | True | Passed | |
7915145118e769bca082ba57e109c48d25e198a7 |
TLC with reduction strategy:
|
LetDefFunRecursive | OrMultiLine | False | Passed | |
d815c2c96be0231d56e4b95fb14410c079e0599c |
TLC with reduction strategy:
|
Def0 | OrMultiLine | True | Passed | |
93aa887742f0cae058e641361395bc3622200f0d |
TLC with reduction strategy:
|
Def0 | OrMultiLine | False | Passed | |
2dc58262c8eed1674a498c6083d11633c7e968d9 |
TLC with reduction strategy:
|
LetDef0 | OrMultiLine | True | Passed | |
e2dbb1040c0f42c109b5abeadb348decf0c6bc67 |
TLC with reduction strategy:
|
LetDef0 | OrMultiLine | False | Passed | |
b2a63a10fdc4cf4ecc737fec278e5369f92c96aa |
TLC with reduction strategy:
|
Def1 | OrMultiLine | True | Passed | |
c7c6811f8d136eaf25669c4f958a7e20f856b9ad |
TLC with reduction strategy:
|
Def1 | OrMultiLine | False | Passed | |
5d83ce4fe7df02c4148b859be3872f8a65575642 |
TLC with reduction strategy:
|
LetDef1 | OrMultiLine | True | Passed | |
a6806ac6372a7854470b3c68dd30d9be5b1348cc |
TLC with reduction strategy:
|
LetDef1 | OrMultiLine | False | Passed | |
895b39d20fdf665e9a536449a13be4f4362e9462 |
TLC with reduction strategy:
|
Def2 | OrMultiLine | True | Passed | |
17e22a37a297a67b57a2ad00ee46d3f0daea0e6f |
TLC with reduction strategy:
|
Def2 | OrMultiLine | False | Passed | |
26e673bd3d926fd1cf78e986350e9293a5583b2d |
TLC with reduction strategy:
|
LetDef2 | OrMultiLine | True | Passed | |
9b50134638c266c3600fa247f92c72e884417984 |
TLC with reduction strategy:
|
LetDef2 | OrMultiLine | False | Passed | |
1a6eee22793cd7c88891db244a24a1026af78e04 |
TLC with reduction strategy:
|
Def1Recursive | OrMultiLine | True | Passed | |
06c7d730c5d9b28f60774ad583b63214d402c13c |
TLC with reduction strategy:
|
Def1Recursive | OrMultiLine | False | Passed | |
cb4cdf0bbbd8a761e7a4cdf98f8714d455c4dcec |
TLC with reduction strategy:
|
LetDef1Recursive | OrMultiLine | True | Passed | |
bc904c5e5bf488c402b011e0d8cab8f7976382bb |
TLC with reduction strategy:
|
LetDef1Recursive | OrMultiLine | False | Passed | |
ad57a5d14ce3ee3f4fc8b04e4a7ea862c9bc934d |
TLC with reduction strategy:
|
Extends | OrMultiLine | True | Passed | |
b10fe5155f1523a879709bb4d5980fd9b34566c3 |
TLC with reduction strategy:
|
Extends | OrMultiLine | False | Passed | |
691d540570f9450818d62408c0a28050814d98b3 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | OrMultiLine | True | Passed | |
d41a06be5fe308694a7eefb3da0d4c8d4bad522f |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | OrMultiLine | False | Passed | |
4910dac45ba33be325d3a58ad5a7f7e619237433 |
TLC with reduction strategy:
|
Variable | OrMultiLine | True | Passed | |
35f6e199d978fdcc1bd55a2cbcfa94dadd973df3 |
TLC with reduction strategy:
|
Variable | OrMultiLine | False | Passed | |
70435fc6e65cf6b612d62dec855c7cf19938f802 |
TLC with reduction strategy:
|
VariableViewExclude | OrMultiLine | True | Passed | |
a363b118892835b1ba8a591eb11bf7b38eb50f24 |
TLC with reduction strategy:
|
VariableViewExclude | OrMultiLine | False | Passed | |
63d1d4d4abd3464275671096c8f68df6f2313b4c |
TLC with reduction strategy:
|
Constant | OrMultiLine | True | Passed | |
0965aaf69c23a44d53c0fb06e216d8fd93668a36 |
TLC with reduction strategy:
|
Constant | OrMultiLine | False | Passed | |
16089f3d84f85ac880982fa111c52aa2a390f799 |
TLC with reduction strategy:
|
ConstantRank1 | OrMultiLine | True | Passed | |
ebaafb26fcebb7f88cffcffe4a876585e435e0b1 |
TLC with reduction strategy:
|
ConstantRank1 | OrMultiLine | False | Passed | |
8c06b067d16023f415d534d673ab1e2d73dcbe56 |
TLC with reduction strategy:
|
Instance | OrMultiLine | True | Passed | |
ae6040fa290c1eb302086a440be8f3f72730de08 |
TLC with reduction strategy:
|
Instance | OrMultiLine | False | Passed | |
042f03253535b2c4456987f06b809e1026da7d7b |
TLC with reduction strategy:
|
InstanceWith | OrMultiLine | True | Passed | |
b4f38990cf0afbd97dd0ad4a874bc559dfbe979f |
TLC with reduction strategy:
|
InstanceWith | OrMultiLine | False | Passed | |
75bf1b51bf1b2c00048784ce6530df35689c510f |
TLC with reduction strategy:
|
InstanceNamed | OrMultiLine | True | Passed | |
a05f6a4f19727aaa11a36985ca873b9d6bdfb1b8 |
TLC with reduction strategy:
|
InstanceNamed | OrMultiLine | False | Passed | |
bfd5632e7dd1a075ede8c6cad284035f000aa3bb |
TLC with reduction strategy:
|
InstanceNamedWith | OrMultiLine | True | Passed | |
35778b2bb7fa08384e35c8f88a48232bcb4b23dc |
TLC with reduction strategy:
|
InstanceNamedWith | OrMultiLine | False | Passed | |
046bfd0b7567d39ce249703a0e4ed68b2ad4bf8c |
TLC with reduction strategy:
|
InstanceInFolder | OrMultiLine | True | Passed | |
3aa29ca80e2c395d5d170d32df64211cb2f9b766 |
TLC with reduction strategy:
|
InstanceInFolder | OrMultiLine | False | Passed | |
bb821250e5ba8f42b2157197935cee4916e01836 |
TLC with reduction strategy:
|
InstanceWithInFolder | OrMultiLine | True | Passed | |
5309e05b57721c7a90fe64f2ed66ff139bb7a614 |
TLC with reduction strategy:
|
InstanceWithInFolder | OrMultiLine | False | Passed | |
c22236f235f98aa119f3721f7157b8565b56ccce |
TLC with reduction strategy:
|
InstanceNamedInFolder | OrMultiLine | True | Passed | |
8849b7ea33f16ab2994f18f30cd3b233e567ae78 |
TLC with reduction strategy:
|
InstanceNamedInFolder | OrMultiLine | False | Passed | |
49ffc7325e100dab2981d46848fea92eda19b415 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | OrMultiLine | True | Passed | |
338cb6756ef4f811629a3d522c876c2d89c9280f |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | OrMultiLine | False | Passed | |
d1c06e79eda56efdd2e8c83df3b30e9282827d44 |
TLC with reduction strategy:
|
Enabled | OrMultiLine | True | Passed | |
10b73feb88d918a3d43a3fb2c0ea87baf7e1bd75 |
TLC with reduction strategy:
|
Enabled | OrMultiLine | False | Passed | |
99dcaced8707cdcf6416e3069a4dd554f924d328 |
TLC with reduction strategy:
|
Assume | OrMultiLine | True | Passed | |
32177e17d1c1014a7abb71437ee9709d442f3c4e |
TLC with reduction strategy:
|
Assume | OrMultiLine | False | Passed | |
b2fff965af0fe32e6f68ecee83167e91618dacf2 |
TLC with reduction strategy:
|
AssumeNamed | OrMultiLine | True | Passed | |
3d0417fae3ba6ec02594fc167b06a1525e466e52 |
TLC with reduction strategy:
|
AssumeNamed | OrMultiLine | False | Passed | |
7e70e9bcb5a8dc6ef2aa30f432921d69fdf8c4fb |
TLC with reduction strategy:
|
Lambda | OrMultiLine | True | Passed | |
0b9c5184228dc6b6624d38d0c55c61affd601553 |
TLC with reduction strategy:
|
Lambda | OrMultiLine | False | Passed | |
bc78c9343799d1b2a06792d6bf7e1e87830ee38f |
TLC with reduction strategy:
|
IfCond | OrMultiLine | True | Passed | |
ab73c3ccb56d78c1c61ac9ff928905b5fa286e50 |
TLC with reduction strategy:
|
IfCond | OrMultiLine | False | Passed | |
6a40fefb521069de966f5d454c986d67f4a3353f |
TLC with reduction strategy:
|
IfThen | OrMultiLine | True | Passed | |
c5ccae5ef1cea09a9c5e87d9af2e1847accc4f09 |
TLC with reduction strategy:
|
IfThen | OrMultiLine | False | Passed | |
fbfef31ed50afd9c4f669850d03af217a5a5eee4 |
TLC with reduction strategy:
|
IfElse | OrMultiLine | True | Passed | |
ed858b1e1ac2dfb77e1d29663c00a8d3cbf0078d |
TLC with reduction strategy:
|
IfElse | OrMultiLine | False | Passed | |
2379cdf92c51c61d7f7185573ac3e12069bea09e |
TLC with reduction strategy:
|
Unchanged | OrMultiLine | True | Passed | |
cc8eb9ceea38b94237331f111e933c80c2a7fd62 |
TLC with reduction strategy:
|
Unchanged | OrMultiLine | False | Passed | |
609037a68cf0b7c10a5c474752b03e26af8717c9 |
TLC with reduction strategy:
|
Equivalence | OrMultiLine | True | Passed | |
12962673a835bcae3bbce6cfc6e73b4a6ddb5985 |
TLC with reduction strategy:
|
Equivalence | OrMultiLine | False | Passed | |
c0573691cfd2320cd4a087e88d6b7e8c9b065689 |
TLC with reduction strategy:
|
TlcSingletonFun | OrMultiLine | True | Passed | |
74837c03ac6c9954dcbbf3f8dd10c46ddd200f5a |
TLC with reduction strategy:
|
TlcSingletonFun | OrMultiLine | False | Passed | |
9b12df744c65ce8e4a75818ce0c37eade07b4c92 |
TLC with reduction strategy:
|
TlcEval | OrMultiLine | True | Passed | |
1f520981c4df40cd60bf7eb433d20300796d3df7 |
TLC with reduction strategy:
|
TlcEval | OrMultiLine | False | Passed | |
bce3a48c1520d3f4a8b6dafb4feadebc54372a27 |
TLC with reduction strategy:
|
BagBagIn | OrMultiLine | True | Passed | |
f8410b789114b74f20ba87fe6f6f7c4fa1936ca5 |
TLC with reduction strategy:
|
BagBagIn | OrMultiLine | False | Passed | |
c3db0c6b4a23cb6d4bb19c7e67fad39713056858 |
TLC with reduction strategy:
|
BagCopiesIn | OrMultiLine | True | Passed | |
0fdd47d8031457f192904ac5fc7bba2d471bc4b4 |
TLC with reduction strategy:
|
BagCopiesIn | OrMultiLine | False | Passed | |
4b383c5cc06a1dd87ff9cc45024b1079b45d2a76 |
TLC with reduction strategy:
|
SeqAppend | OrMultiLine | True | Passed | |
8b9eaeb7809840bd976fabf05a1569ad79d5bdde |
TLC with reduction strategy:
|
SeqAppend | OrMultiLine | False | Passed |