Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
6d10d5aa034f7e5419154faa16d4214f7844154e |
TLC with reduction strategy:
|
Eq | TlcSortSeq | True | Passed | |
4288a5d6775c5173f6ca38e48e707eb2de1d96d0 |
TLC with reduction strategy:
|
Eq | TlcSortSeq | False | Passed | |
a4f583115e6abcabdffb17d2f68d0aa20bf93ec7 |
TLC with reduction strategy:
|
Ne | TlcSortSeq | True | Passed | |
4e421725dc1fe033ef53874421d7e88f8797bed5 |
TLC with reduction strategy:
|
Ne | TlcSortSeq | False | Passed | |
82487ed16f47413fd724544ae2c6fb9ad3e3dd5a |
TLC with reduction strategy:
|
Let | TlcSortSeq | True | Passed | |
a01abb4a7a7b2bf259ca72c7088681feda295941 |
TLC with reduction strategy:
|
Let | TlcSortSeq | False | Passed | |
207f74155517903fcbb52e7de9811f741a229d8f |
TLC with reduction strategy:
|
Set0 | TlcSortSeq | True | Passed | |
8229b7f3d99a52b5902a7e34ef1bae5e2ad0cfb2 |
TLC with reduction strategy:
|
Set0 | TlcSortSeq | False | Passed | |
538c665cf5232136a8f574aa50424a78fb8ed9ab |
TLC with reduction strategy:
|
Set1 | TlcSortSeq | True | Passed | |
ec533a4f64b629a75ce42ffa25efe5b2ee6fe78c |
TLC with reduction strategy:
|
Set1 | TlcSortSeq | False | Passed | |
64c81af269e5d4a852f5325fa9ea0817aa1c62a9 |
TLC with reduction strategy:
|
Set2 | TlcSortSeq | True | Passed | |
c51fdb8702bcae0225c9bda4653483952d59504e |
TLC with reduction strategy:
|
Set2 | TlcSortSeq | False | Passed | |
7a73c97355d7db9cf1a449961d65e7de9d316a22 |
TLC with reduction strategy:
|
Fun | TlcSortSeq | True | Passed | |
49611f9e2fecab3a80fed2177c44cd4b01050894 |
TLC with reduction strategy:
|
Fun | TlcSortSeq | False | Passed | |
2159fac7b7cb351d30fbc5526c084250c68efabf |
TLC with reduction strategy:
|
In | TlcSortSeq | True | Passed | |
93efeb81f2e0b6e1b42521bbadc93a049a8032e5 |
TLC with reduction strategy:
|
In | TlcSortSeq | False | Passed | |
fb7756008d378286760f9d7b47fb27f6fcb207bd |
TLC with reduction strategy:
|
NotIn | TlcSortSeq | True | Passed | |
3a8a05e1a71e12fe4692fc01901d210ca0accfc3 |
TLC with reduction strategy:
|
NotIn | TlcSortSeq | False | Passed | |
d3bc9cd527109f9297c8d8dccde7c8c604de5882 |
TLC with reduction strategy:
|
Record | TlcSortSeq | True | Passed | |
341be19410e8ca0cd99b126226f2bcca751f0d32 |
TLC with reduction strategy:
|
Record | TlcSortSeq | False | Passed | |
1e9131d661f4ab4e410b91b10ebc7a86a963b014 |
TLC with reduction strategy:
|
Tuple | TlcSortSeq | True | Passed | |
a25978fe483f102a1cf4737219192d6eb95b5015 |
TLC with reduction strategy:
|
Tuple | TlcSortSeq | False | Passed | |
548313c9045461cfd4e39c410e6730f8c83de52d |
TLC with reduction strategy:
|
FunApp | TlcSortSeq | True | Passed | |
86903ba5edf5948944c886e0614e4db0e885f91f |
TLC with reduction strategy:
|
FunApp | TlcSortSeq | False | Passed | |
5d24d6bc05819d7d6413b6c3adf65ee9e7713676 |
TLC with reduction strategy:
|
Except0 | TlcSortSeq | True | Passed | |
24514f46b2c7e5b3004833081ffc00e0738ddb9a |
TLC with reduction strategy:
|
Except0 | TlcSortSeq | False | Passed | |
19ad34bf388d58ef1a572971e2f69ebeae04a30a |
TLC with reduction strategy:
|
Except1Fun | TlcSortSeq | True | Passed | |
7156f97e5b5a2cd40b6b36d6150e677d743bb1bf |
TLC with reduction strategy:
|
Except1Fun | TlcSortSeq | False | Passed | |
a043da6ff6552566baa511d9ec3a23e25aa10202 |
TLC with reduction strategy:
|
Except1FunWithAt | TlcSortSeq | True | Passed | |
bd14f799d3677772977148acba9b3b302eeb8caf |
TLC with reduction strategy:
|
Except1FunWithAt | TlcSortSeq | False | Passed | |
81f137db075cc4a0e990ba02a7215a279a9289e7 |
TLC with reduction strategy:
|
Except1Rec | TlcSortSeq | True | Passed | |
8c14aac2606878ec2fc6e525ccc3078ae73fa001 |
TLC with reduction strategy:
|
Except1Rec | TlcSortSeq | False | Passed | |
04cd7497741557d6677282d633502d1a53645a4d |
TLC with reduction strategy:
|
Except1RecWithAt | TlcSortSeq | True | Passed | |
115c7c95aa3c6ec1674a6d54c8720f2359a6193f |
TLC with reduction strategy:
|
Except1RecWithAt | TlcSortSeq | False | Passed | |
d2eecfa6c29d5b7c556a3922b25cde50e3376925 |
TLC with reduction strategy:
|
Except2Fun | TlcSortSeq | True | Passed | |
8da8689f21e542c9f2f8116f7111d0c52a85db22 |
TLC with reduction strategy:
|
Except2Fun | TlcSortSeq | False | Passed | |
e4b65922456fab03e017ee7fde0338b7d37c7021 |
TLC with reduction strategy:
|
Prime | TlcSortSeq | True | Passed | |
08917020a7307e6b72cb3c41d341b36717325f1d |
TLC with reduction strategy:
|
Prime | TlcSortSeq | False | Passed | |
02820e8a659b876a6a80ee66ce51d5456c89aa18 |
TLC with reduction strategy:
|
DefFun | TlcSortSeq | True | Passed | |
1944f00e51ee321c572335e9e1808a1a78dd16d8 |
TLC with reduction strategy:
|
DefFun | TlcSortSeq | False | Passed | |
1f7b14bcf79fe27867a20ce3a6ab5ba255d3d99b |
TLC with reduction strategy:
|
LetDefFun | TlcSortSeq | True | Passed | |
13f7678410f213cc6bd6e7d3f6337bcbca5a7636 |
TLC with reduction strategy:
|
LetDefFun | TlcSortSeq | False | Passed | |
7a269dcc55b12caa17dfee6e6ad2804465a14325 |
TLC with reduction strategy:
|
DefFunRecursive | TlcSortSeq | True | Passed | |
d0fa63ff0d2785cba75b596a0a7a0dfa42465c4d |
TLC with reduction strategy:
|
DefFunRecursive | TlcSortSeq | False | Passed | |
fe20d551f8c9fce3ebc8ffa713208845efb2a0e4 |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcSortSeq | True | Passed | |
ebc282a352382f40201d73c8da9ed999663c00ad |
TLC with reduction strategy:
|
LetDefFunRecursive | TlcSortSeq | False | Passed | |
ead28a2a896a6404df1a5c34d9c20c7bf1b2ad82 |
TLC with reduction strategy:
|
Def0 | TlcSortSeq | True | Passed | |
1a6fb81934d04e447d33578a64addf06411a66df |
TLC with reduction strategy:
|
Def0 | TlcSortSeq | False | Passed | |
08d63bdf478eebf25cfb5f1ce5ed5691c7272ada |
TLC with reduction strategy:
|
LetDef0 | TlcSortSeq | True | Passed | |
6435f7f5d201042b697a5e8772147b08e7d3ab24 |
TLC with reduction strategy:
|
LetDef0 | TlcSortSeq | False | Passed | |
e46d9e0e099b6812a5192ce5b1a5827d00e688ea |
TLC with reduction strategy:
|
Def1 | TlcSortSeq | True | Passed | |
828ff32542dfd3288a39adbabb7cd393c200551f |
TLC with reduction strategy:
|
Def1 | TlcSortSeq | False | Passed | |
138c37da76f439039a4fcdc33e3d0c2d350b0715 |
TLC with reduction strategy:
|
LetDef1 | TlcSortSeq | True | Passed | |
0edde30efb7a0b4fd95fac530e92368e7a36472d |
TLC with reduction strategy:
|
LetDef1 | TlcSortSeq | False | Passed | |
f2fc9c3ac4b12a52fc991f0c7ede5ee8719c1005 |
TLC with reduction strategy:
|
Def2 | TlcSortSeq | True | Passed | |
a95f5170d5b161b1a328c5923af397307f49317e |
TLC with reduction strategy:
|
Def2 | TlcSortSeq | False | Passed | |
12512190165b369be30541c16af52b144118776f |
TLC with reduction strategy:
|
LetDef2 | TlcSortSeq | True | Passed | |
a078d4871b5fca9cad4e6e08eb62bf268d6d1024 |
TLC with reduction strategy:
|
LetDef2 | TlcSortSeq | False | Passed | |
7b1f4dbba43a79445053141faf7dfeae4ae2aaa5 |
TLC with reduction strategy:
|
Def1Recursive | TlcSortSeq | True | Passed | |
da4144f10cd7be994db310ded90623125981d245 |
TLC with reduction strategy:
|
Def1Recursive | TlcSortSeq | False | Passed | |
6df3c6658b123fd323c4378814896ce167bf1b6b |
TLC with reduction strategy:
|
LetDef1Recursive | TlcSortSeq | True | Passed | |
84ffb8dd34fc630394a392e6d6899be5b39c93ae |
TLC with reduction strategy:
|
LetDef1Recursive | TlcSortSeq | False | Passed | |
ceff7dacb1963867e9e24a361b2b1000df739cd3 |
TLC with reduction strategy:
|
Extends | TlcSortSeq | True | Passed | |
d6658c9fc1c04a6b89b176b58ebe32b0aea1b66f |
TLC with reduction strategy:
|
Extends | TlcSortSeq | False | Passed | |
ee7f589370aaca2bc9080000746eb51629a6d14d |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcSortSeq | True | Passed | |
815d3c4bde70910d2a3d15ddd5005e2af3431322 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | TlcSortSeq | False | Passed | |
38abaafd727b8d5fab687fc323b24f8d24049e84 |
TLC with reduction strategy:
|
Variable | TlcSortSeq | True | Passed | |
4ee0bc4a6b54c9e4ff9b5d198c4d297d0a09a7a2 |
TLC with reduction strategy:
|
Variable | TlcSortSeq | False | Passed | |
4d57e2598178984aedb7ec02ba66420fa82dd20a |
TLC with reduction strategy:
|
VariableViewExclude | TlcSortSeq | True | Passed | |
40acd81bb29584755cc71471dee23ba0eee4ea86 |
TLC with reduction strategy:
|
VariableViewExclude | TlcSortSeq | False | Passed | |
7f8a1b92f2d4c4f94d30d926cda36ebd8b60d1e8 |
TLC with reduction strategy:
|
Constant | TlcSortSeq | True | Passed | |
2c64d938d93b85799e550324dabf454f0beb715e |
TLC with reduction strategy:
|
Constant | TlcSortSeq | False | Passed | |
c2cbd6f76bf986e740b07467b6d7647787373d23 |
TLC with reduction strategy:
|
ConstantRank1 | TlcSortSeq | True | Passed | |
0412f76aae332e3be17752b40685169bd6370e60 |
TLC with reduction strategy:
|
ConstantRank1 | TlcSortSeq | False | Passed | |
11cbffb6153fc9ff7af5d2ab3d081611da25326d |
TLC with reduction strategy:
|
Instance | TlcSortSeq | True | Passed | |
8983ca08dd7c2340f05ed1fd423af4a320dd3d95 |
TLC with reduction strategy:
|
Instance | TlcSortSeq | False | Passed | |
115054da24f5e40d2f9ee6ad87f63ccf28c8565b |
TLC with reduction strategy:
|
InstanceWith | TlcSortSeq | True | Passed | |
5a05466d692d45ff19f8bb2a7931627c3db7ec15 |
TLC with reduction strategy:
|
InstanceWith | TlcSortSeq | False | Passed | |
ef05e99b3bb2067d1a067d3a06bf6e8de23d42b4 |
TLC with reduction strategy:
|
InstanceNamed | TlcSortSeq | True | Passed | |
ebd935c831114e9a8c847c3b191c4226f6edd758 |
TLC with reduction strategy:
|
InstanceNamed | TlcSortSeq | False | Passed | |
f54b2f3c812ec6d335c468dda47196d38c1d2651 |
TLC with reduction strategy:
|
InstanceNamedWith | TlcSortSeq | True | Passed | |
29894dd99d977f5ee94ee3871967b5a94effb4b7 |
TLC with reduction strategy:
|
InstanceNamedWith | TlcSortSeq | False | Passed | |
b57c98b72a0f7b58247cb2920c04e43276ddc52d |
TLC with reduction strategy:
|
InstanceInFolder | TlcSortSeq | True | Passed | |
6fb31ac28cc24122eea8c0c848c5ac4eb3c37635 |
TLC with reduction strategy:
|
InstanceInFolder | TlcSortSeq | False | Passed | |
1e224f806e343ba1dcae784fdb7a49898e7f8403 |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcSortSeq | True | Passed | |
2d28dac82a873ec84f75ed1123500ae87ba2b15b |
TLC with reduction strategy:
|
InstanceWithInFolder | TlcSortSeq | False | Passed | |
a024ff8f2b20f3c7e8618c4da7acffbdedfde372 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcSortSeq | True | Passed | |
48bfede1eb1aa01a40568348793ce556932904c7 |
TLC with reduction strategy:
|
InstanceNamedInFolder | TlcSortSeq | False | Passed | |
30a05b3ea0decdcbcb4f353e760b59939008932e |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcSortSeq | True | Passed | |
ecf516f72a639933960800eae5c597c436fa78c4 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | TlcSortSeq | False | Passed | |
50928e101d8a2679f6fc4cc3c9ea7c9e3f75f0da |
TLC with reduction strategy:
|
Lambda | TlcSortSeq | True | Passed | |
c1a8ad29b9d96b0e4f95d0e630a6a5dbf151dc44 |
TLC with reduction strategy:
|
Lambda | TlcSortSeq | False | Passed | |
625a89f3047b1262af034376a16674203b65e678 |
TLC with reduction strategy:
|
IfThen | TlcSortSeq | True | Passed | |
48a1c7bc64c7b56a6d80cae898c5937e8820bd73 |
TLC with reduction strategy:
|
IfThen | TlcSortSeq | False | Passed | |
b863219882344788a5d6445268ab0c9fd15150df |
TLC with reduction strategy:
|
IfElse | TlcSortSeq | True | Passed | |
d783b00fbdf5668cac7d74c3f45fe2a0289c6564 |
TLC with reduction strategy:
|
IfElse | TlcSortSeq | False | Passed | |
13ddac1551ea9a114fae88d389448e5377320c7c |
TLC with reduction strategy:
|
Unchanged | TlcSortSeq | True | Passed | |
fac910bb1b3eeb485e912c807c1da725d4aad858 |
TLC with reduction strategy:
|
Unchanged | TlcSortSeq | False | Passed | |
dfc78b1b7fa95c8c65d348968e9b5d43f86b7d65 |
TLC with reduction strategy:
|
SeqLen | TlcSortSeq | True | Passed | |
a430eedb090cbdc792bb484a5750739b9aa3d80d |
TLC with reduction strategy:
|
SeqLen | TlcSortSeq | False | Passed | |
23dbffa9c724be432376d0e244ed70167bfafaa0 |
TLC with reduction strategy:
|
SeqConcat | TlcSortSeq | True | Passed | |
8abfdbe250477829773a0e7377a063ea64c92c2f |
TLC with reduction strategy:
|
SeqConcat | TlcSortSeq | False | Passed | |
d5fea6182951db3459a0c7cfc44ce73865ee93ac |
TLC with reduction strategy:
|
SeqSelectSeq | TlcSortSeq | True | Passed | |
69ed1166ade5589b1a3ae468b2832ec25d341235 |
TLC with reduction strategy:
|
SeqSelectSeq | TlcSortSeq | False | Passed | |
b358ee76db46d015cabad66aad38ed8520279e4f |
TLC with reduction strategy:
|
SeqSubSeq | TlcSortSeq | True | Passed | |
752ac4469141e73439f194d77bcdc7bc4f541045 |
TLC with reduction strategy:
|
SeqSubSeq | TlcSortSeq | False | Passed | |
20f20c8eaa78d6e4da9165c6f6e0bf9bff062256 |
TLC with reduction strategy:
|
TlcSingletonFun | TlcSortSeq | True | Passed | |
0f43300af39b21bf8dd51c76f8c62fcf005a666d |
TLC with reduction strategy:
|
TlcSingletonFun | TlcSortSeq | False | Passed | |
b72e963ebd750b038968114857970037299fc5c2 |
TLC with reduction strategy:
|
TlcSortSeq | TlcSortSeq | True | Passed | |
094c94f3f65adeebd184ef3381a60594ed8866c2 |
TLC with reduction strategy:
|
TlcSortSeq | TlcSortSeq | False | Passed | |
d76a1d1fe47c1191b0500ef69b49c9fbb43dcbfe |
TLC with reduction strategy:
|
TlcEval | TlcSortSeq | True | Passed | |
2fe77c84c260485cba310a74a7a35c3c31abc447 |
TLC with reduction strategy:
|
TlcEval | TlcSortSeq | False | Passed | |
353ef577595d8de6582d50f2c09d43513b36ff03 |
TLC with reduction strategy:
|
BagBagIn | TlcSortSeq | True | Passed | |
0ed155eb1cbe96dc5d57b1516adbda2c47f03c56 |
TLC with reduction strategy:
|
BagBagIn | TlcSortSeq | False | Passed | |
ae4c81e52666a7d2f8856b4bb7574b9a1192862a |
TLC with reduction strategy:
|
BagCopiesIn | TlcSortSeq | True | Passed | |
2822de0025789a445781efc075554e86764d88f1 |
TLC with reduction strategy:
|
BagCopiesIn | TlcSortSeq | False | Passed | |
f2f17a83d94e65150647c034ee69ac147779d65a |
TLC with reduction strategy:
|
SeqHead | TlcSortSeq | True | Passed | |
a656095bbc44cd2da12cd5cffe644a84143d4379 |
TLC with reduction strategy:
|
SeqHead | TlcSortSeq | False | Passed | |
41764d24f6cefaee8c34277f5bbae6b3310d0d04 |
TLC with reduction strategy:
|
SeqTail | TlcSortSeq | True | Passed | |
2774674ee72c37093c8beae2db66b855954bed54 |
TLC with reduction strategy:
|
SeqTail | TlcSortSeq | False | Passed | |
4b7097d4f7506bff334f39144c8455f2f76dc713 |
TLC with reduction strategy:
|
SeqAppend | TlcSortSeq | True | Passed | |
9a80cb9fd49c13c578850b530b781e9decf366b5 |
TLC with reduction strategy:
|
SeqAppend | TlcSortSeq | False | Passed |