Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
a3c126c6e94b677f878fc58c3d1666e07e7f5efd |
TLC with reduction strategy:
|
And | NotIn | True | Passed | |
18b29c06f3c04abd8028c6c264c49e133488f366 |
TLC with reduction strategy:
|
And | NotIn | False | Passed | |
bfda6ea2009f5520e81056184c201a62639b9eed |
TLC with reduction strategy:
|
AndMultiLine | NotIn | True | Passed | |
31888188c660e07b6ee5927e7773f43148f74f34 |
TLC with reduction strategy:
|
AndMultiLine | NotIn | False | Passed | |
59bdfc65be33aec84b6335265cea2a790fc1aa97 |
TLC with reduction strategy:
|
Imply | NotIn | True | Passed | |
400ae935faec9df6900f8346625d1d6de0de48b2 |
TLC with reduction strategy:
|
Imply | NotIn | False | Passed | |
8b03c7c1c0cbd373764d84b3f7657b3cf6c7c6cd |
TLC with reduction strategy:
|
Not | NotIn | True | Passed | |
6843db2a41aa23f7f0f82dc2f943649479a6b178 |
TLC with reduction strategy:
|
Not | NotIn | False | Passed | |
0ed32689d78346918a320bcd74a9dbce6c9fdf6d |
TLC with reduction strategy:
|
Or | NotIn | True | Passed | |
4c6e97c5f450eb5140d53a2638a1dc9675dbbe73 |
TLC with reduction strategy:
|
Or | NotIn | False | Passed | |
b49315b71343e3202230dba4cf70726aa07c058f |
TLC with reduction strategy:
|
OrMultiLine | NotIn | True | Passed | |
06441cd9a7c41c3f40853180195eb2c42fc09ed6 |
TLC with reduction strategy:
|
OrMultiLine | NotIn | False | Passed | |
d993416b90a25f9d9b72bd64ff5ff0cd10581dde |
TLC with reduction strategy:
|
AndProp | NotIn | True | Passed | |
e54d31e81f348a779e4c96d4cb016f771bc09af4 |
TLC with reduction strategy:
|
AndProp | NotIn | False | Passed | |
efa6aa66b6a77b3a6cb8b40c140b86408ccfb892 |
TLC with reduction strategy:
|
Boxed | NotIn | True | Passed | |
962d17c59fe96933398a095cfd441905b484c4a3 |
TLC with reduction strategy:
|
Boxed | NotIn | False | Passed | |
d03f6129f613d171c1e77153a89c75996c365d25 |
TLC with reduction strategy:
|
Eq | NotIn | True | Passed | |
27059e7b5cbd548faf1aeb4c6e188dfce8aca0fa |
TLC with reduction strategy:
|
Eq | NotIn | False | Passed | |
465efad28c9df80f62b2a5a31fdd108044af4aaf |
TLC with reduction strategy:
|
Ne | NotIn | True | Passed | |
ca60ff9a96f4fe47c8650d62189dba246a70aa73 |
TLC with reduction strategy:
|
Ne | NotIn | False | Passed | |
f2ee6fffb26c8b89eaf588020bb48050b3932049 |
TLC with reduction strategy:
|
Let | NotIn | True | Passed | |
975e6de064e26d0e3a565e38391a1d20e0d9c612 |
TLC with reduction strategy:
|
Let | NotIn | False | Passed | |
344a9128ff2e07ab8f60018671127b3a0a8a4c7d |
TLC with reduction strategy:
|
Set0 | NotIn | True | Passed | |
d11ca44357a82a6c0be4b1a5059af6643905f66a |
TLC with reduction strategy:
|
Set0 | NotIn | False | Passed | |
a62cbb88311b5f2d45ffe88ba62d703aafb1f065 |
TLC with reduction strategy:
|
Set1 | NotIn | True | Passed | |
262d9b6cceca6931fb8850b990aa52d45495ac7a |
TLC with reduction strategy:
|
Set1 | NotIn | False | Passed | |
f11f1eaf314b383f36d3995f562b9d705cda23b7 |
TLC with reduction strategy:
|
Set2 | NotIn | True | Passed | |
c9eee1d484b51c9abdf37d1d58c10ec3c43e076d |
TLC with reduction strategy:
|
Set2 | NotIn | False | Passed | |
b1fefb5a7e6066bd46bc1cef4b63df675a4fe4e4 |
TLC with reduction strategy:
|
Fun | NotIn | True | Passed | |
6b6da5b418de487770f7a8c5000bc46a7b22d4ec |
TLC with reduction strategy:
|
Fun | NotIn | False | Passed | |
241739ce95021c7851af7e84f25816d7ae489604 |
TLC with reduction strategy:
|
In | NotIn | True | Passed | |
d83676c467ac388d3fb2323758161d094084659a |
TLC with reduction strategy:
|
In | NotIn | False | Passed | |
d2db450a2e01f5de02c0233118844d44e002ddab |
TLC with reduction strategy:
|
NotIn | NotIn | True | Passed | |
e44f81c8e564d6132cb9dd24b09c0a6f451d2c90 |
TLC with reduction strategy:
|
NotIn | NotIn | False | Passed | |
a133fbebb97128471c8e6839f580f788e9c91191 |
TLC with reduction strategy:
|
Exists | NotIn | True | Passed | |
b5652119e666205e667e1d59a791a1e9559b03ec |
TLC with reduction strategy:
|
Exists | NotIn | False | Passed | |
b17b80c604928cb351246181329659b306b5e736 |
TLC with reduction strategy:
|
Forall | NotIn | True | Passed | |
3c139cc965fe9f6e7ca23d26ec699e9f8d0d66be |
TLC with reduction strategy:
|
Forall | NotIn | False | Passed | |
a7818bbcde8d5a2d06b2316e28f1c63f9e662391 |
TLC with reduction strategy:
|
Choose | NotIn | True | Passed | |
4949b37d9fd29b6f447dbfe230bae7c60050d901 |
TLC with reduction strategy:
|
Choose | NotIn | False | Passed | |
76ee8878651acd3c95f531a274115d83a7257eaf |
TLC with reduction strategy:
|
Record | NotIn | True | Passed | |
77996e9412029d8d970c6f0f006fa84b5fc93a2f |
TLC with reduction strategy:
|
Record | NotIn | False | Passed | |
edb06ac780227c655df446096aed7a528cde29e0 |
TLC with reduction strategy:
|
Tuple | NotIn | True | Passed | |
a09bb6011edb5255eefd95e24fb6e4c1c4e99f80 |
TLC with reduction strategy:
|
Tuple | NotIn | False | Passed | |
6f5ff1685b54a5fe0cbefabcaddf67f79e17c882 |
TLC with reduction strategy:
|
FunApp | NotIn | True | Passed | |
07e2f406a8927f24ed8bbfe29d11e3b8877e879a |
TLC with reduction strategy:
|
FunApp | NotIn | False | Passed | |
1ed933b63461f7eebadd30595e0f7a1e86374cd4 |
TLC with reduction strategy:
|
Except1Fun | NotIn | True | Passed | |
03e11be3e029b1aca75893542ae03fa8ab95c71d |
TLC with reduction strategy:
|
Except1Fun | NotIn | False | Passed | |
fd838e2ae7e7b94ed65db16620619a4d2d0e3bda |
TLC with reduction strategy:
|
Except1FunWithAt | NotIn | True | Passed | |
3e789044d41fa427c547636d3f7356c490904861 |
TLC with reduction strategy:
|
Except1FunWithAt | NotIn | False | Passed | |
31bdf27f9dcecd5f7d29c96498d3d02a5bf754b1 |
TLC with reduction strategy:
|
Except1Rec | NotIn | True | Passed | |
6c131c4a3cae03a8375a45cbd67db96ce57d29d9 |
TLC with reduction strategy:
|
Except1Rec | NotIn | False | Passed | |
46e51d838178f4cd1a98cd4eaec0d148d4390b50 |
TLC with reduction strategy:
|
Except1RecWithAt | NotIn | True | Passed | |
e05c5dc7c55e0f93c6405cae949c5e52d25c37b1 |
TLC with reduction strategy:
|
Except1RecWithAt | NotIn | False | Passed | |
0a3695da2c634e580d5274a66760ca65670a96ea |
TLC with reduction strategy:
|
Except2Fun | NotIn | True | Passed | |
8a3af8aa8bb0c5e0b0cfb85f6ae56a6ccb67b07a |
TLC with reduction strategy:
|
Except2Fun | NotIn | False | Passed | |
aa8f74f56aacd8cba127d67c61bf63dd97006e86 |
TLC with reduction strategy:
|
Prime | NotIn | True | Passed | |
6b279002ed7b61306ac9e2e882c982119d992b60 |
TLC with reduction strategy:
|
Prime | NotIn | False | Passed | |
1d2355b3dcfcbe04726ad77c70cfb5a8c8ff5aa8 |
TLC with reduction strategy:
|
DefFun | NotIn | True | Passed | |
4b9e3f73a6bc5b81648fda6b3531ba5043d905c5 |
TLC with reduction strategy:
|
DefFun | NotIn | False | Passed | |
6f4f3d0225d55708f160a27803c78d5d361ce93c |
TLC with reduction strategy:
|
LetDefFun | NotIn | True | Passed | |
7d8dbe1223aa618985cdc20b20f638339a69a2ed |
TLC with reduction strategy:
|
LetDefFun | NotIn | False | Passed | |
6e07bbcd33ebcefad55e26801c389c1eef404e61 |
TLC with reduction strategy:
|
DefFunRecursive | NotIn | True | Passed | |
5a5fa5d527ac55cd7437c031e9611a0fb86e741f |
TLC with reduction strategy:
|
DefFunRecursive | NotIn | False | Passed | |
d98e951726131b6a3b99eff68801aeae8bfc7a84 |
TLC with reduction strategy:
|
LetDefFunRecursive | NotIn | True | Passed | |
84fa8e5e8cf245b22dd4a28eeb6d3ed106b80fc0 |
TLC with reduction strategy:
|
LetDefFunRecursive | NotIn | False | Passed | |
ec95a03f2a0b8eb704f3aa0beea5caf938c929cd |
TLC with reduction strategy:
|
Def0 | NotIn | True | Passed | |
125f5a556d0f67a23bf49988c64bed580da3d67f |
TLC with reduction strategy:
|
Def0 | NotIn | False | Passed | |
325dc959f174960e905ca34683e4cffd784e2d6a |
TLC with reduction strategy:
|
LetDef0 | NotIn | True | Passed | |
33458ea977c443c2162e0f6a566fc94715aa2a43 |
TLC with reduction strategy:
|
LetDef0 | NotIn | False | Passed | |
2741829b487b952128b073b1ffef0f979ec10b81 |
TLC with reduction strategy:
|
Def1 | NotIn | True | Passed | |
1937e622a0a3f25c24ade1e92d1a2c170241d6e7 |
TLC with reduction strategy:
|
Def1 | NotIn | False | Passed | |
6a9ad7de355f4b3dc0e69159423c8d718a8994a4 |
TLC with reduction strategy:
|
LetDef1 | NotIn | True | Passed | |
f7592c657018913ddb09253d7ff62886f50bd819 |
TLC with reduction strategy:
|
LetDef1 | NotIn | False | Passed | |
db58a1ed987fd0c9ddeb63af4a0bcd4d0469972d |
TLC with reduction strategy:
|
Def2 | NotIn | True | Passed | |
d29937cb5c044b6529be7bdfa56611acee8f4011 |
TLC with reduction strategy:
|
Def2 | NotIn | False | Passed | |
f7d978daa45947d0a5c5169f37a9b0089da218a3 |
TLC with reduction strategy:
|
LetDef2 | NotIn | True | Passed | |
5e52530b3d78b9d39ac0c9c250e5b6d9c716b351 |
TLC with reduction strategy:
|
LetDef2 | NotIn | False | Passed | |
39d40e93eaf91c64a3d39643714ea3958373b1fb |
TLC with reduction strategy:
|
Def1Recursive | NotIn | True | Passed | |
a77461eebe295dcc4f1a57367f708c9e059ec263 |
TLC with reduction strategy:
|
Def1Recursive | NotIn | False | Passed | |
f7c75686a6c6cb4fc7fca2446770c6b4e094ee95 |
TLC with reduction strategy:
|
LetDef1Recursive | NotIn | True | Passed | |
8b1c91b27cedadac69fbd496bbaa98cdedb768c4 |
TLC with reduction strategy:
|
LetDef1Recursive | NotIn | False | Passed | |
7f5e1cc17f5cbc77a1ad8c279e321020cf7bd51a |
TLC with reduction strategy:
|
Extends | NotIn | True | Passed | |
fb9006247bc20ccc0e84d527f9885e38f65586c0 |
TLC with reduction strategy:
|
Extends | NotIn | False | Passed | |
e85c3eb9cba6b918735a74ae8bea7b83297edddb |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | NotIn | True | Passed | |
8d575f3b1c0d6edf59dac433af9f322bfc0c8eb9 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | NotIn | False | Passed | |
b03e74b2c97dad01ed3966851a5bf87f24764803 |
TLC with reduction strategy:
|
Variable | NotIn | True | Passed | |
db87f4b236a1567bafaf5a99162e2be19e941ab1 |
TLC with reduction strategy:
|
Variable | NotIn | False | Passed | |
1b1a304e1f9f9b53dc2b42cf6787621f65af5213 |
TLC with reduction strategy:
|
VariableViewExclude | NotIn | True | Passed | |
1752993caf35d9560de9b6563c74e64315357d34 |
TLC with reduction strategy:
|
VariableViewExclude | NotIn | False | Passed | |
b38e1e48bee32bd4b6a64ec4375c54aa7cddae71 |
TLC with reduction strategy:
|
Constant | NotIn | True | Passed | |
c3856e8bf3d71ea6d5176bbceb8e1e610f589fdc |
TLC with reduction strategy:
|
Constant | NotIn | False | Passed | |
64670cf9596958baff370983e802490a033746dd |
TLC with reduction strategy:
|
ConstantRank1 | NotIn | True | Passed | |
f0dac87b4d1c9292d45d71afedc345b0476dd1cd |
TLC with reduction strategy:
|
ConstantRank1 | NotIn | False | Passed | |
44fcc8e8b55384190bf6fca9f5631985ae104e5e |
TLC with reduction strategy:
|
Instance | NotIn | True | Passed | |
8fd01396ac8afc0f116a72b1032697d3c734da15 |
TLC with reduction strategy:
|
Instance | NotIn | False | Passed | |
c3556de96c612ea556ca160cd546a7662b73b719 |
TLC with reduction strategy:
|
InstanceWith | NotIn | True | Passed | |
10851be8e8b8fc7a01a6893911c8459e48b9bd12 |
TLC with reduction strategy:
|
InstanceWith | NotIn | False | Passed | |
aea676f187b202d012240105be2690ba19dd3158 |
TLC with reduction strategy:
|
InstanceNamed | NotIn | True | Passed | |
242a7ab0acbf8b2fb8ed6d09b6c6125aad5e17f1 |
TLC with reduction strategy:
|
InstanceNamed | NotIn | False | Passed | |
39bb496c2bf14b9a946be1b7c921c7ea3691c338 |
TLC with reduction strategy:
|
InstanceNamedWith | NotIn | True | Passed | |
9ca29f5b316efc987f2476553c522b8cbd762ee8 |
TLC with reduction strategy:
|
InstanceNamedWith | NotIn | False | Passed | |
aaf1885fd944980c7574537851ef49700098cd87 |
TLC with reduction strategy:
|
InstanceInFolder | NotIn | True | Passed | |
f61ca21090bba336f2b4b11fc0acffb2f51d24e6 |
TLC with reduction strategy:
|
InstanceInFolder | NotIn | False | Passed | |
81e172031e4f1b001e3822b0d33af75b4f29e3af |
TLC with reduction strategy:
|
InstanceWithInFolder | NotIn | True | Passed | |
8cb8702e2ec2cd471048b56b362d6561c9789c4d |
TLC with reduction strategy:
|
InstanceWithInFolder | NotIn | False | Passed | |
b4f85256573992d543ccb3319b8c3ded6cea3c07 |
TLC with reduction strategy:
|
InstanceNamedInFolder | NotIn | True | Passed | |
abf8d5d01e207d3335728db3a45a1660ab052cbb |
TLC with reduction strategy:
|
InstanceNamedInFolder | NotIn | False | Passed | |
026906e18a7bf4405d67ccb9d20f62cc27b0cd4f |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | NotIn | True | Passed | |
073ed10ce2f33e14dd797a39b6812f0715275189 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | NotIn | False | Passed | |
0d0848a8ea89a2c756f30668989541dc3b4080ab |
TLC with reduction strategy:
|
Enabled | NotIn | True | Passed | |
249485e3801bf280a6a762cf136979fe76537baf |
TLC with reduction strategy:
|
Enabled | NotIn | False | Passed | |
57238692821a57812a3b4a812680adaf79bfb57b |
TLC with reduction strategy:
|
Assume | NotIn | True | Passed | |
f840947e3942442b8cbb5a9bfa8f35d382c1fc4b |
TLC with reduction strategy:
|
Assume | NotIn | False | Passed | |
5ee665b48e25d900fcb2015b0d45b4c172fdcbab |
TLC with reduction strategy:
|
AssumeNamed | NotIn | True | Passed | |
ceece8ff0f762b077ac04fbe31af2022e48ae24c |
TLC with reduction strategy:
|
AssumeNamed | NotIn | False | Passed | |
498644c57aeecb484badd5c0c69670b471d05d4b |
TLC with reduction strategy:
|
Lambda | NotIn | True | Passed | |
fb7a3d22f3a9316feb07a608d7e820b16d77fc12 |
TLC with reduction strategy:
|
Lambda | NotIn | False | Passed | |
388bab1d4b8ecc360d0932dbe8a51ef529b5625d |
TLC with reduction strategy:
|
IfCond | NotIn | True | Passed | |
d09bd560b25db813a6bf1940056a1829203261e3 |
TLC with reduction strategy:
|
IfCond | NotIn | False | Passed | |
7b4a885f06d597b96d164204cb9972c7dda050eb |
TLC with reduction strategy:
|
IfThen | NotIn | True | Passed | |
b4487884417993be81acbab2b82db9360618cd30 |
TLC with reduction strategy:
|
IfThen | NotIn | False | Passed | |
ca7a948a2afafaede2915ee084f8a1466acc23c5 |
TLC with reduction strategy:
|
IfElse | NotIn | True | Passed | |
d0bb26b45a914bc3dff32408becff0198f1a2b60 |
TLC with reduction strategy:
|
IfElse | NotIn | False | Passed | |
04cf7a6acf77a0768bb4c2fec0e750dfff2949e0 |
TLC with reduction strategy:
|
Unchanged | NotIn | True | Passed | |
99d1921f73f46860c3c4d396137092c48be15635 |
TLC with reduction strategy:
|
Unchanged | NotIn | False | Passed | |
051afac4cc40ef88293c30987c9e70eb8a820265 |
TLC with reduction strategy:
|
Equivalence | NotIn | True | Passed | |
0ca5286b67e51a5fe57a67a516e1b92c93061e78 |
TLC with reduction strategy:
|
Equivalence | NotIn | False | Passed | |
02a0bd15ff37f334bfae1b24968e60781158e02b |
TLC with reduction strategy:
|
TlcSingletonFun | NotIn | True | Passed | |
a717a6a33816c9c777442867f4ea6e63645b9cd8 |
TLC with reduction strategy:
|
TlcSingletonFun | NotIn | False | Passed | |
56594b3977f5c3829f6815c69eefac9036042594 |
TLC with reduction strategy:
|
TlcEval | NotIn | True | Passed | |
d601f04dead1452f7d80499e2a144203c62ae3ba |
TLC with reduction strategy:
|
TlcEval | NotIn | False | Passed | |
cbed8bd59f00ab70862ebbe4d383c02890a757f4 |
TLC with reduction strategy:
|
BagBagIn | NotIn | True | Passed | |
1beaa4071871a9f098f4d61628f90451b40fba59 |
TLC with reduction strategy:
|
BagBagIn | NotIn | False | Passed | |
8784cc61a3b2dfe30caa2ce71951dd8d64a6fc0d |
TLC with reduction strategy:
|
BagCopiesIn | NotIn | True | Passed | |
93c24c6d6041f64ad6039bcf33e9046af0605900 |
TLC with reduction strategy:
|
BagCopiesIn | NotIn | False | Passed | |
f154551ae6849dcb01e0e6ba9d5d64902fdbbfbb |
TLC with reduction strategy:
|
SeqAppend | NotIn | True | Passed | |
5b464cc94857e13ad5541617d4b27d493d9dc459 |
TLC with reduction strategy:
|
SeqAppend | NotIn | False | Passed |