Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
6686c3a39db971de203da0c399a424f5bbdeaf2d |
TLC with reduction strategy:
|
Eq | TlcExtendFun | True | Passed | |
1cfd0329406bbefd56218f5382e869a9cbda2d2f |
TLC with reduction strategy:
|
Eq | TlcExtendFun | False | Passed | |
28a5a4375ca253ab7960f0069e6436ec84ae4a96 |
TLC with reduction strategy:
|
Ne | TlcExtendFun | True | Passed | |
24344eb0f95e7fc8c2d5ce60cc61b385c90d24df |
TLC with reduction strategy:
|
Ne | TlcExtendFun | False | Passed | |
f6c6e0d2c243a78556d53ac03c0667c9b6456309 |
TLC with reduction strategy:
|
Let | TlcExtendFun | True | Passed | |
b9f178f181fd229d0217f3ab455d61916537865d |
TLC with reduction strategy:
|
Let | TlcExtendFun | False | Passed | |
15e0178535db188f0120dd4cb9bdc4bcabce886e |
TLC with reduction strategy:
|
Set0 | TlcExtendFun | True | Passed | |
e5d3ca05b10d7888434359c21da7c1c79aab566d |
TLC with reduction strategy:
|
Set0 | TlcExtendFun | False | Passed | |
1f630f5d5cf592c263b3e4ab68d9dd9d4c7630f2 |
TLC with reduction strategy:
|
Set1 | TlcExtendFun | True | Passed | |
321036ced26372b69f001fb4ae2e1ee00bb88a2f |
TLC with reduction strategy:
|
Set1 | TlcExtendFun | False | Passed | |
10f50876666871230cc0d2ed6458f70f50643141 |
TLC with reduction strategy:
|
Set2 | TlcExtendFun | True | Passed | |
7fda4d1aac4bc0940a3c457f1dcc130a3a58d52b |
TLC with reduction strategy:
|
Set2 | TlcExtendFun | False | Passed | |
77fafe5a71e094407b21e371f23b86c11db6edb5 |
TLC with reduction strategy:
|
Fun | TlcExtendFun | True | Passed | |
b58d79e3d32222b8ab04aebd44b2880a4fbf9a36 |
TLC with reduction strategy:
|
Fun | TlcExtendFun | False | Passed | |
b88eb02e9ef3c291ef6ee89559ba3a31b5954505 |
TLC with reduction strategy:
|
In | TlcExtendFun | True | Passed | |
8c04fddf6f41dd6dadb3ecce762eced29cb53017 |
TLC with reduction strategy:
|
In | TlcExtendFun | False | Passed | |
b5e97575380bac0958cb6cde0d7caed614a6abbc |
TLC with reduction strategy:
|
NotIn | TlcExtendFun | True | Passed | |
c627a7d215bce58237cdd7693b34971777eedd82 |
TLC with reduction strategy:
|
NotIn | TlcExtendFun | False | Passed | |
c8a0835347169566013f7a4a9db31a6b68add62b |
TLC with reduction strategy:
|
Record | TlcExtendFun | True | Passed | |
b748e5631841d8c9c9aaf7fbc399a55c59fd7214 |
TLC with reduction strategy:
|
Record | TlcExtendFun | False | Passed | |
6cc29f7df708b2cbddc3199062cd557991603dab |
TLC with reduction strategy:
|
Tuple | TlcExtendFun | True | Passed | |
15aabce8e688163c122c6550234bac4f2695173f |
TLC with reduction strategy:
|
Tuple | TlcExtendFun | False | Passed | |
029d8d588c4d1e5a12b61a5c3da9d6bb64381932 |
TLC with reduction strategy:
|
FunApp | TlcExtendFun | True | Passed | |
e8854829d48ae05e66e87dfe7107cd3007f20520 |
TLC with reduction strategy:
|
FunApp | TlcExtendFun | False | Passed | |
1e41685c4929df4654d7737a59b014c5457c885d |
TLC with reduction strategy:
|
Except0 | TlcExtendFun | True | Passed | |
4ff09782be4625c3d5d9563046182a0a0dc20e87 |
TLC with reduction strategy:
|
Except0 | TlcExtendFun | False | Passed | |
9feb2c0e7581e81eba0f6a4c0bac3ffe61022043 |
TLC with reduction strategy:
|
Except1Fun | TlcExtendFun | True | Passed | |
eb0e29a25b963ca5f7e8fc67a752d7cd8d63e177 |
TLC with reduction strategy:
|
Except1Fun | TlcExtendFun | False | Passed | |
2f0eb2a9accb739b2d403792efab6d358bf446ce |
TLC with reduction strategy:
|
Except1FunWithAt | TlcExtendFun | True | Passed | |
26239342d326c5b47bc9ddb3d15343d7dd3da937 |
TLC with reduction strategy:
|
Except1FunWithAt | TlcExtendFun | False | Passed | |
b1b450693ab54b2da2acc3cd067f078500f2a6a5 |
TLC with reduction strategy:
|
Except1Rec | TlcExtendFun | True | Passed | |
d57a79f6d5e9c1b9aa10e867723972007a6fe06b |
TLC with reduction strategy:
|
Except1Rec | TlcExtendFun | False | Passed | |
a2202ede29f8f2edc55ee00b86a026898f0d6b19 |
TLC with reduction strategy:
|
Except1RecWithAt | TlcExtendFun | True | Passed | |
2191ddb7ffa5d6b420c29e7e0933502c30ee5b8b |
TLC with reduction strategy:
|
Except1RecWithAt | TlcExtendFun | False | Passed | |
73244607764d07c79df7394bf49d20e4c23a034f |
TLC with reduction strategy:
|
Except2Fun | TlcExtendFun | True | Passed | |
593f7951666a691b856c9f31027b8ac8c22bd1fd |
TLC with reduction strategy:
|
Except2Fun | TlcExtendFun | False | Passed | |
78c1bd52f8bb92a935bd866ba4dfb6437be7ea18 |
TLC with reduction strategy:
|
Prime | TlcExtendFun | True | Passed | |
26aa1325affd47803f31ec205d63586e1e714959 |
TLC with reduction strategy:
|
Prime | TlcExtendFun | False | Passed | |
091948fe572719d7d5c554dc87169521284e9f2f |
TLC with reduction strategy:
|
DefFun | TlcExtendFun | True | Passed | |
bfa2b92787b732c54b599284b6c8fb81e2eb3bcf |
TLC with reduction strategy:
|
DefFun | TlcExtendFun | False | Passed | |
00f8901575f3f1f214d751bc1c35cbb049e1cadc |
TLC with reduction strategy:
|
LetDefFun | TlcExtendFun | True | Passed | |
8bddba998bca12d464ca8212d626a1710fde9e29 |
TLC with reduction strategy:
|
LetDefFun | TlcExtendFun | False | Passed | |
78897ba85ce50c1b37e6236db25f1a1f2f49f2e7 |
TLC with reduction strategy:
|
DefFunRecursive | TlcExtendFun | True | Passed | |
1a61a0ceec1eb711a62981017825cc05306ed7af |
TLC with reduction strategy:
|
DefFunRecursive | TlcExtendFun | False | Passed | |
f9ae58a41b6b4d1c2ebdd376a56f0af1fc98fd11 |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcExtendFun | True | Passed | |
a27c408c00f8eb05b9404c95abeb02511f144d05 |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcExtendFun | False | Passed | |
fe458cd7a10fde70d6e72983340a9a7544377171 |
TLC with reduction strategy:
|
Def0 | TlcExtendFun | True | Passed | |
1f57aa6192c2024549b2c7a185e20a40e2a1bf7e |
TLC with reduction strategy:
|
Def0 | TlcExtendFun | False | Passed | |
ebe6128d01b5907c8b76e0f443fa6276c624a153 |
TLC with reduction strategy:
|
LetDef0 | TlcExtendFun | True | Passed | |
40fb5f95b084836491c5d099215016f0ea5591e1 |
TLC with reduction strategy:
|
LetDef0 | TlcExtendFun | False | Passed | |
908e686b237a920b85a1002882294c46c784e977 |
TLC with reduction strategy:
|
Def1 | TlcExtendFun | True | Passed | |
6278fba3de897d14e0fd499288f6a9b22785d208 |
TLC with reduction strategy:
|
Def1 | TlcExtendFun | False | Passed | |
7415d5008554e34da37d02eca583f10672aba3a6 |
TLC with reduction strategy:
|
LetDef1 | TlcExtendFun | True | Passed | |
c680936e3489deee0a2280b72c23c3774fd899f5 |
TLC with reduction strategy:
|
LetDef1 | TlcExtendFun | False | Passed | |
64b09699aae29a8391ebd02dc4a051e2e5cdd81e |
TLC with reduction strategy:
|
Def2 | TlcExtendFun | True | Passed | |
a6748eac710d71c507890eabbf4e1d46b772a51b |
TLC with reduction strategy:
|
Def2 | TlcExtendFun | False | Passed | |
a003910f590d0968491504d6403a48dd26a0d331 |
TLC with reduction strategy:
|
LetDef2 | TlcExtendFun | True | Passed | |
15fb796c9d9e6134fa3b94fcf6069cf0e98a03e5 |
TLC with reduction strategy:
|
LetDef2 | TlcExtendFun | False | Passed | |
622715075a493457e150c8e79a7d5171f5a8fa23 |
TLC with reduction strategy:
|
Def1Recursive | TlcExtendFun | True | Passed | |
92f3b745ca1bf86a39c12fd581463437efed1e83 |
TLC with reduction strategy:
|
Def1Recursive | TlcExtendFun | False | Passed | |
c41dcacbfb3740c083e71b97cb9328220d73450b |
TLC with reduction strategy:
|
LetDef1Recursive | TlcExtendFun | True | Passed | |
79b35a6156daa1c743687d740e13a47c573f5342 |
TLC with reduction strategy:
|
LetDef1Recursive | TlcExtendFun | False | Passed | |
85323905ef25eb5588f6bd2cbfe2ea836ff31e4d |
TLC with reduction strategy:
|
Extends | TlcExtendFun | True | Passed | |
816a25f9ef8e2f009ee8458caab4a5bf5f08cec2 |
TLC with reduction strategy:
|
Extends | TlcExtendFun | False | Passed | |
20b1d162521f6dbd245895919f60bbd34b9726ec |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcExtendFun | True | Passed | |
f1ee4008e2f3735bc5ee13cd7cac00c1d167f555 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcExtendFun | False | Passed | |
24480eb0efbe90f58bd59e2a2d50b273e91faa6b |
TLC with reduction strategy:
|
Variable | TlcExtendFun | True | Passed | |
eca8e03d6a4e8ae142dca58551f599e7693f8b1b |
TLC with reduction strategy:
|
Variable | TlcExtendFun | False | Passed | |
02e565212cae14be07ac24f40cca5f05cb39810b |
TLC with reduction strategy:
|
VariableViewExclude | TlcExtendFun | True | Passed | |
2e27138a8bd9d7ce09ec82d2d92a99a9e803e59e |
TLC with reduction strategy:
|
VariableViewExclude | TlcExtendFun | False | Passed | |
e88abc277aef02ec19ce3214f85f495f8422c070 |
TLC with reduction strategy:
|
Constant | TlcExtendFun | True | Passed | |
a1f222769b0c83f59b492238ba506639d4ffa87f |
TLC with reduction strategy:
|
Constant | TlcExtendFun | False | Passed | |
1c3cee15078c610e8d322dd4fc21f61ce8a9e0b3 |
TLC with reduction strategy:
|
ConstantRank1 | TlcExtendFun | True | Passed | |
93d2972d2ae27022ccc861b14989cffa719a23a3 |
TLC with reduction strategy:
|
ConstantRank1 | TlcExtendFun | False | Passed | |
3689ce9f4e08f59f9c8a76116e589625db34e0c6 |
TLC with reduction strategy:
|
Instance | TlcExtendFun | True | Passed | |
f971086fe0de42beed364ffc0a485d5dcc0c7997 |
TLC with reduction strategy:
|
Instance | TlcExtendFun | False | Passed | |
235bf78cd314b1af2b7647f68234ec2a8b1e2e82 |
TLC with reduction strategy:
|
InstanceWith | TlcExtendFun | True | Passed | |
ae7c37dbe9998d6876c2e54501930b288e700047 |
TLC with reduction strategy:
|
InstanceWith | TlcExtendFun | False | Passed | |
b2582cf88d20e7cf2dff727c1727d5ffab2e2ebe |
TLC with reduction strategy:
|
InstanceNamed | TlcExtendFun | True | Passed | |
57615542f304a0cbfead90023737d7fc7dc639b5 |
TLC with reduction strategy:
|
InstanceNamed | TlcExtendFun | False | Passed | |
16d14c2b59f469da3d38b03e4810f6a75cfd490c |
TLC with reduction strategy:
|
InstanceNamedWith | TlcExtendFun | True | Passed | |
2dc6d5797d0af68c76a93880b42ad9e91530360c |
TLC with reduction strategy:
|
InstanceNamedWith | TlcExtendFun | False | Passed | |
304e0722fffc1439186bbaaff30df2044f497c74 |
TLC with reduction strategy:
|
InstanceInFolder | TlcExtendFun | True | Passed | |
09786399afeb06ec29240ae9846925c6626637cf |
TLC with reduction strategy:
|
InstanceInFolder | TlcExtendFun | False | Passed | |
3d6815f62d1588433ffcff1f5402ae60c1b02f56 |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcExtendFun | True | Passed | |
6b4f0f92e4fe9fe0721a1947cef79863a7480093 |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcExtendFun | False | Passed | |
3cfe675b1b926d5281be06cfeb481784ae66e321 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcExtendFun | True | Passed | |
807d913d5eb4cb343774665dbe721f87291879e0 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcExtendFun | False | Passed | |
c525388dc9a3054ec53827d9e0cbc3532ea6c027 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcExtendFun | True | Passed | |
36dc48e89063093db2fda1a96ae362ba70365716 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcExtendFun | False | Passed | |
58cb159af548825bc0582895377620d1ed3933b4 |
TLC with reduction strategy:
|
Lambda | TlcExtendFun | True | Passed | |
9d19a05ed05905dd32b5e19a12c108149cf4ee8b |
TLC with reduction strategy:
|
Lambda | TlcExtendFun | False | Passed | |
f0e16fe8cb320a691823c2aa0202ae2abd78c8e3 |
TLC with reduction strategy:
|
IfThen | TlcExtendFun | True | Passed | |
08e93b075a9670a23e6e4be02a0d53174d355dac |
TLC with reduction strategy:
|
IfThen | TlcExtendFun | False | Passed | |
6f8476edc402159644b991f399d6597510c89cbc |
TLC with reduction strategy:
|
IfElse | TlcExtendFun | True | Passed | |
0a1cce9516d6ae1c0a68ad7b6edb7f3c82e0e5a6 |
TLC with reduction strategy:
|
IfElse | TlcExtendFun | False | Passed | |
7c77f274585a2778df1143bfed3e3802bacf0761 |
TLC with reduction strategy:
|
Domain | TlcExtendFun | True | Passed | |
880d58eb6477818b839c0a293e7aa8af44bbbb9b |
TLC with reduction strategy:
|
Domain | TlcExtendFun | False | Passed | |
0b0912e7712450b74e85969c4cef507ab8b6cf5f |
TLC with reduction strategy:
|
Unchanged | TlcExtendFun | True | Passed | |
16ae13aa296aa5d0862d3ce5fe5dbbd05d9de0c8 |
TLC with reduction strategy:
|
Unchanged | TlcExtendFun | False | Passed | |
f4e0b0df14329fd2b21cabdbe982532b3ad0975f |
TLC with reduction strategy:
|
TlcSingletonFun | TlcExtendFun | True | Passed | |
9cb99d3a3e9eae145c9bab7b1fd71a9a14ec4f50 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcExtendFun | False | Passed | |
3ac703b5c35ae88c652842e3121ca362c20ba281 |
TLC with reduction strategy:
|
TlcExtendFun | TlcExtendFun | True | Passed | |
91acf59d565d10a137fd2841c17dcc79d0854579 |
TLC with reduction strategy:
|
TlcExtendFun | TlcExtendFun | False | Passed | |
bb4be61c8af44ead37089677f15cec19bc523abd |
TLC with reduction strategy:
|
TlcEval | TlcExtendFun | True | Passed | |
ac7df85f2954b858ed24c4b49bb9e7eb77479b1a |
TLC with reduction strategy:
|
TlcEval | TlcExtendFun | False | Passed | |
7af21094c59afda691cde4769a5c083b5f1c5488 |
TLC with reduction strategy:
|
BagBagIn | TlcExtendFun | True | Passed | |
6679637175da34378efdca1f4d213ef6f0587423 |
TLC with reduction strategy:
|
BagBagIn | TlcExtendFun | False | Passed | |
d083c7cd79d9f4b6ea12f54e57d5fba45671e561 |
TLC with reduction strategy:
|
BagCopiesIn | TlcExtendFun | True | Passed | |
1c008f05a66302a1065ba5382560515f8301fc84 |
TLC with reduction strategy:
|
BagCopiesIn | TlcExtendFun | False | Passed | |
be2f1c94a30cfe326e0412f84e27f85093b69d7c |
TLC with reduction strategy:
|
SeqAppend | TlcExtendFun | True | Passed | |
d7068e82fc6c552f0ca4ee3fee63ffb265645759 |
TLC with reduction strategy:
|
SeqAppend | TlcExtendFun | False | Passed |