Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
e95887a499745418cf62eb13be66423c670be83a |
TLC with reduction strategy:
|
Eq | NumUnaryMinus | True | Passed | |
a23f02db92e57e6a31816a3b2ea28150e9870617 |
TLC with reduction strategy:
|
Eq | NumUnaryMinus | False | Passed | |
3ab9ab768b36b0aae47061033a2b974e8d351e1f |
TLC with reduction strategy:
|
Ne | NumUnaryMinus | True | Passed | |
849731fbe1ad03affbcea222268654aa08d9e15f |
TLC with reduction strategy:
|
Ne | NumUnaryMinus | False | Passed | |
815695030ee93217509f9eacfb2dc1cfb1f99567 |
TLC with reduction strategy:
|
Let | NumUnaryMinus | True | Passed | |
4e2deec0aab8dd5ac5dda57012fa7ce27a33f57e |
TLC with reduction strategy:
|
Let | NumUnaryMinus | False | Passed | |
e60ce375899b0190af51c24682902f5366d2a57e |
TLC with reduction strategy:
|
Set0 | NumUnaryMinus | True | Passed | |
4b4e42b43fc4d14f485c9ad4092fb7497d834fa2 |
TLC with reduction strategy:
|
Set0 | NumUnaryMinus | False | Passed | |
dfd7a730a7048da1963a4653fab5da843754b03c |
TLC with reduction strategy:
|
Set1 | NumUnaryMinus | True | Passed | |
0da320d485bb3e3f4435cc55815eafe201c542f4 |
TLC with reduction strategy:
|
Set1 | NumUnaryMinus | False | Passed | |
cf8fada1e33a0827bf1f3b476c7c819140e717a7 |
TLC with reduction strategy:
|
Set2 | NumUnaryMinus | True | Passed | |
9fa48e11140d164ddc29469c362b2fe21a65cbfe |
TLC with reduction strategy:
|
Set2 | NumUnaryMinus | False | Passed | |
7938034ddcf65e1285f04b6620bacd9662e02028 |
TLC with reduction strategy:
|
Fun | NumUnaryMinus | True | Passed | |
e78c0156f573f3a036e0e55f7ea7299767e3bf27 |
TLC with reduction strategy:
|
Fun | NumUnaryMinus | False | Passed | |
19999b3e61a5eeca225de3fd7f8f3c201399777a |
TLC with reduction strategy:
|
In | NumUnaryMinus | True | Passed | |
26556a64175696d679c33b43d0d553f77fab6c24 |
TLC with reduction strategy:
|
In | NumUnaryMinus | False | Passed | |
e1e41155657c486bb18b11f41465a3e5e85ad88e |
TLC with reduction strategy:
|
NotIn | NumUnaryMinus | True | Passed | |
324abe1608411b97918336dc871f9a2b9a158930 |
TLC with reduction strategy:
|
NotIn | NumUnaryMinus | False | Passed | |
fcf0d07ceb9ee5baeeefa6a153ee600c73c00667 |
TLC with reduction strategy:
|
Record | NumUnaryMinus | True | Passed | |
2056bc2d462cb0b8a7b532a92e67a65497c6a723 |
TLC with reduction strategy:
|
Record | NumUnaryMinus | False | Passed | |
2ee171126572991a59ed1f453b78b1821f032a47 |
TLC with reduction strategy:
|
Tuple | NumUnaryMinus | True | Passed | |
056188fb20fd6e467b06e6b132fcbbaa0a99c095 |
TLC with reduction strategy:
|
Tuple | NumUnaryMinus | False | Passed | |
10d0285c388e88f1d3d43637de971fbf57674d68 |
TLC with reduction strategy:
|
FunApp | NumUnaryMinus | True | Passed | |
d0d31c1845dfa05954ebcdb79fe858dbe1c57515 |
TLC with reduction strategy:
|
FunApp | NumUnaryMinus | False | Passed | |
8f96e9179f46899cb7b32f8b7bec198173c506ad |
TLC with reduction strategy:
|
Except1Fun | NumUnaryMinus | True | Passed | |
813cf3bdb37aaee3ff2c908683b21476113fd8a5 |
TLC with reduction strategy:
|
Except1Fun | NumUnaryMinus | False | Passed | |
0a136753049488bf37f7b3116b4b1f840f88d264 |
TLC with reduction strategy:
|
Except1FunWithAt | NumUnaryMinus | True | Passed | |
2ed6f6e0394b647502e601d7ed4efe71325a5b26 |
TLC with reduction strategy:
|
Except1FunWithAt | NumUnaryMinus | False | Passed | |
e52a11f7ee5e48ac82b1fe46a84323534b557418 |
TLC with reduction strategy:
|
Except1Rec | NumUnaryMinus | True | Passed | |
8d0ed6fa8987e378be5003089bbef47c08758026 |
TLC with reduction strategy:
|
Except1Rec | NumUnaryMinus | False | Passed | |
04d623fe939a0fed7e92eca01b26f18e952ced0b |
TLC with reduction strategy:
|
Except1RecWithAt | NumUnaryMinus | True | Passed | |
5cbf3ada05af5de4c79173d86f62d42a5e512f18 |
TLC with reduction strategy:
|
Except1RecWithAt | NumUnaryMinus | False | Passed | |
7bc697c0f7ed2cce6a8d99646a8d699f8348c121 |
TLC with reduction strategy:
|
Except2Fun | NumUnaryMinus | True | Passed | |
58a3022fde5892fa6d8d698d6fd0e64fbf41232f |
TLC with reduction strategy:
|
Except2Fun | NumUnaryMinus | False | Passed | |
f7a02ff902a762532ca78256036c2d3cac2a9d16 |
TLC with reduction strategy:
|
Prime | NumUnaryMinus | True | Passed | |
4cf240602a16ac4786da02a3d13ca924e3af8d5f |
TLC with reduction strategy:
|
Prime | NumUnaryMinus | False | Passed | |
d98f9fd4d8cf963154d5a11c2c2b0af19285f177 |
TLC with reduction strategy:
|
NumUnaryMinus | NumUnaryMinus | True | Passed | |
24f8ccc65ffa32323c8292939755f757537210d9 |
TLC with reduction strategy:
|
NumUnaryMinus | NumUnaryMinus | False | Passed | |
7c377051fc48bd66fe75acfdc67a14f0c982a88c |
TLC with reduction strategy:
|
NumPlus | NumUnaryMinus | True | Passed | |
de7b54cc0c665ab9cb62e7f510777213321f9177 |
TLC with reduction strategy:
|
NumPlus | NumUnaryMinus | False | Passed | |
8736f2ef6eed136e6af3c0223dcfb7d8d39c052f |
TLC with reduction strategy:
|
NumMinus | NumUnaryMinus | True | Passed | |
0fbd5da1cd39ff87bb9f8b3fcc730291b41481af |
TLC with reduction strategy:
|
NumMinus | NumUnaryMinus | False | Passed | |
62915e700713fdc351fbc552d2ebbdcac2e2435e |
TLC with reduction strategy:
|
NumMul | NumUnaryMinus | True | Passed | |
a43d4f9c71cd36b4523d78fa57148b9856930b68 |
TLC with reduction strategy:
|
NumMul | NumUnaryMinus | False | Passed | |
83f064e1b30fd3098686c3e6df7c0cf2cb3f961a |
TLC with reduction strategy:
|
NumDiv | NumUnaryMinus | True | Passed | |
87c5246ccfdb98d58d26fc84b2bb05720139bf8c |
TLC with reduction strategy:
|
NumDiv | NumUnaryMinus | False | Passed | |
2a17ca25b8b8e5752db910fc104bababec5c5555 |
TLC with reduction strategy:
|
NumMod | NumUnaryMinus | True | Passed | |
62a36169988da8fd658e8f304fba3c8b11191cfa |
TLC with reduction strategy:
|
NumMod | NumUnaryMinus | False | Passed | |
6ef5240df43ad872326134c56700733648760c34 |
TLC with reduction strategy:
|
NumPow | NumUnaryMinus | True | Passed | |
732952a2c7918199c5df061f0fc660a38201f1ca |
TLC with reduction strategy:
|
NumPow | NumUnaryMinus | False | Passed | |
52ac3f39ae7c4cd5bcf3724187c80df9c8c073c7 |
TLC with reduction strategy:
|
NumGt | NumUnaryMinus | True | Passed | |
5946a4bec26aea27b80fc276bcfa831036e33071 |
TLC with reduction strategy:
|
NumGt | NumUnaryMinus | False | Passed | |
f5cb8966d9af61407c88f69a80d65e233e154ecf |
TLC with reduction strategy:
|
NumGe | NumUnaryMinus | True | Passed | |
2a2a87de105b377e4948d839a9fac1446a26a9b4 |
TLC with reduction strategy:
|
NumGe | NumUnaryMinus | False | Passed | |
bf56c8bea8a1813acc1647621019be2494e4980a |
TLC with reduction strategy:
|
NumLt | NumUnaryMinus | True | Passed | |
8f3ee686d95198311b8b10dcda531ec856785bca |
TLC with reduction strategy:
|
NumLt | NumUnaryMinus | False | Passed | |
e1503bd6bb381baed5e1439e1aa23cf451542ff4 |
TLC with reduction strategy:
|
NumLe | NumUnaryMinus | True | Passed | |
8b899f37e99854da1a122b32240df5a1b7c595f2 |
TLC with reduction strategy:
|
NumLe | NumUnaryMinus | False | Passed | |
04cf4c07c94a9653881d467fb9e8515bd7fee4ec |
TLC with reduction strategy:
|
DefFun | NumUnaryMinus | True | Passed | |
c75cd5e126dae6a9f6d4cb3ad83cf885dd699232 |
TLC with reduction strategy:
|
DefFun | NumUnaryMinus | False | Passed | |
f6318a276eccbef67f689c3fc578dafc76b385b9 |
TLC with reduction strategy:
|
LetDefFun | NumUnaryMinus | True | Passed | |
69b5ee6d1da406c7dcfbb0d1cb0b63d51594ee01 |
TLC with reduction strategy:
|
LetDefFun | NumUnaryMinus | False | Passed | |
aa090162cac434069509eb054fc7b8178a84caa2 |
TLC with reduction strategy:
|
DefFunRecursive | NumUnaryMinus | True | Passed | |
d764b322ffa9e8ecd71b4d1113863e00a7aa7c44 |
TLC with reduction strategy:
|
DefFunRecursive | NumUnaryMinus | False | Passed | |
1f4f825687f09b85a1a6938803059d849b817e83 |
TLC with reduction strategy:
|
LetDefFunRecursive | NumUnaryMinus | True | Passed | |
22de08581fc9ce9d5c489dc6b6f8e578da4794f3 |
TLC with reduction strategy:
|
LetDefFunRecursive | NumUnaryMinus | False | Passed | |
d4843ec1cc7e7a0e767953874fe60428d08211e7 |
TLC with reduction strategy:
|
Def0 | NumUnaryMinus | True | Passed | |
554e41b207c70eac29b4845cf7a6ec01d97c9792 |
TLC with reduction strategy:
|
Def0 | NumUnaryMinus | False | Passed | |
5cda9b2d120a645fc28679916fec7d86d935f77d |
TLC with reduction strategy:
|
LetDef0 | NumUnaryMinus | True | Passed | |
3f91b2a836a7cc5254c1112cb2b1cc7b04215794 |
TLC with reduction strategy:
|
LetDef0 | NumUnaryMinus | False | Passed | |
848882784e27957a7f1629987d462ed8337cbedc |
TLC with reduction strategy:
|
Def1 | NumUnaryMinus | True | Passed | |
9973a369e152eeaffd8dedc0d172ac3db103593d |
TLC with reduction strategy:
|
Def1 | NumUnaryMinus | False | Passed | |
a7d29ec21a7f47f0316022b7b46d2a9f932ed1e9 |
TLC with reduction strategy:
|
LetDef1 | NumUnaryMinus | True | Passed | |
5b7ff7aa894dae0720088e3a25527706f449cd1b |
TLC with reduction strategy:
|
LetDef1 | NumUnaryMinus | False | Passed | |
cecd722ccd3489a8a20f755d1665a8ec52b37a93 |
TLC with reduction strategy:
|
Def2 | NumUnaryMinus | True | Passed | |
f13547f1d2625cf5102ddce74a0c53d090cfbcd0 |
TLC with reduction strategy:
|
Def2 | NumUnaryMinus | False | Passed | |
ea8bde0c48c65ce637ef6dbb982d75b84e72ac7a |
TLC with reduction strategy:
|
LetDef2 | NumUnaryMinus | True | Passed | |
58330a26923e436157d5a59d18ea0fde222fcc39 |
TLC with reduction strategy:
|
LetDef2 | NumUnaryMinus | False | Passed | |
84f68fcf6f4414215244e5b646938f1259a8a459 |
TLC with reduction strategy:
|
Def1Recursive | NumUnaryMinus | True | Passed | |
c83cda74ac24390b408bf6ae6b8afa397e224933 |
TLC with reduction strategy:
|
Def1Recursive | NumUnaryMinus | False | Passed | |
ff5471d00ee411a181bbe739a849ddad4aa7c3de |
TLC with reduction strategy:
|
LetDef1Recursive | NumUnaryMinus | True | Passed | |
a1d897b07c9932b574ad82d5337d5d813c4a4893 |
TLC with reduction strategy:
|
LetDef1Recursive | NumUnaryMinus | False | Passed | |
38621ea8410b865fece44f066e3d16f343fc140c |
TLC with reduction strategy:
|
Extends | NumUnaryMinus | True | Passed | |
d49d10baed60e6e5265addc8c43ce7ba78539083 |
TLC with reduction strategy:
|
Extends | NumUnaryMinus | False | Passed | |
139bb0e2dfa261b9fa33343a437e611d85c44639 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | NumUnaryMinus | True | Passed | |
10d176dc567e9d4d9a817a1391b7a10977ed3540 |
TLC with reduction strategy:
|
ExtendsInDifferentFolder | NumUnaryMinus | False | Passed | |
78d550cb01e9e871599516fe870b18356df322c0 |
TLC with reduction strategy:
|
Variable | NumUnaryMinus | True | Passed | |
c6bdb82d13faff46f467581ffd90c87e4cc9e9f2 |
TLC with reduction strategy:
|
Variable | NumUnaryMinus | False | Passed | |
345ae7b7fc3c6e5d6f902735a4b539883c109d63 |
TLC with reduction strategy:
|
VariableViewExclude | NumUnaryMinus | True | Passed | |
35b3b27a0febe7133d42c032cf23dfb352a94aa8 |
TLC with reduction strategy:
|
VariableViewExclude | NumUnaryMinus | False | Passed | |
340510c08c97ec9f06007702108858ca50c934e8 |
TLC with reduction strategy:
|
Constant | NumUnaryMinus | True | Passed | |
e5824f7db3d9620828b7c401154c772a9a7b2077 |
TLC with reduction strategy:
|
Constant | NumUnaryMinus | False | Passed | |
84893939a41dedab11d0a8581cdf725ce4f3d92f |
TLC with reduction strategy:
|
ConstantRank1 | NumUnaryMinus | True | Passed | |
4abc3fb2db84004014c9fdc88c33c5d77f4d0415 |
TLC with reduction strategy:
|
ConstantRank1 | NumUnaryMinus | False | Passed | |
d13ebb41bdbd772cfdc0e1354ad5898f7ec94ef2 |
TLC with reduction strategy:
|
Instance | NumUnaryMinus | True | Passed | |
88e867549fcbb53d889cc1da6d400a177ef0f8a9 |
TLC with reduction strategy:
|
Instance | NumUnaryMinus | False | Passed | |
9e97646e0b04668ed73c4647182865d0ad48abca |
TLC with reduction strategy:
|
InstanceWith | NumUnaryMinus | True | Passed | |
af50df7f77feee4c9260ebcf200903a1364e4162 |
TLC with reduction strategy:
|
InstanceWith | NumUnaryMinus | False | Passed | |
5881f4df32d884acdb0569a5cbb1e5b08c838e23 |
TLC with reduction strategy:
|
InstanceNamed | NumUnaryMinus | True | Passed | |
33e497b9e215f0e613537b6854c58b93bece3178 |
TLC with reduction strategy:
|
InstanceNamed | NumUnaryMinus | False | Passed | |
58f2fd91ecf178cd8581bfe90377f24b0b014655 |
TLC with reduction strategy:
|
InstanceNamedWith | NumUnaryMinus | True | Passed | |
a893688ebc4518eef50bc3b2a28b31958b6f1612 |
TLC with reduction strategy:
|
InstanceNamedWith | NumUnaryMinus | False | Passed | |
f24b78519dace9bda22c7d0a4dbf3c2cef133a54 |
TLC with reduction strategy:
|
InstanceInFolder | NumUnaryMinus | True | Passed | |
15d2b9e1c9cf7f4345e3d056bef925c5878f0b33 |
TLC with reduction strategy:
|
InstanceInFolder | NumUnaryMinus | False | Passed | |
5f7b1c1d9a96387b346db55697db9ecd6a181822 |
TLC with reduction strategy:
|
InstanceWithInFolder | NumUnaryMinus | True | Passed | |
a2e28596d1ab394f5a8b1a243ba6da8163c64491 |
TLC with reduction strategy:
|
InstanceWithInFolder | NumUnaryMinus | False | Passed | |
6aa8dfb807552307d1058983187ad0dc29bb4695 |
TLC with reduction strategy:
|
InstanceNamedInFolder | NumUnaryMinus | True | Passed | |
9373669b6af0ca2ae5a1dbf477308867bf5a1e9a |
TLC with reduction strategy:
|
InstanceNamedInFolder | NumUnaryMinus | False | Passed | |
be0387cb14a1aae376e5ce55a12b068c1bba1ea7 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | NumUnaryMinus | True | Passed | |
bb3fed8370ca854ad2eaea87fcf05b3fa82672b3 |
TLC with reduction strategy:
|
InstanceNamedWithInFolder | NumUnaryMinus | False | Passed | |
fb527ef04498b4d4c0a8358f9bdf5aa648485e2d |
TLC with reduction strategy:
|
Lambda | NumUnaryMinus | True | Passed | |
68caf393b5d62ab96dc3f3086c535e7f3f2e1719 |
TLC with reduction strategy:
|
Lambda | NumUnaryMinus | False | Passed | |
962c87d93fc49315dd0d993c41ee31fd3763c010 |
TLC with reduction strategy:
|
IfThen | NumUnaryMinus | True | Passed | |
9a0b42d0b13c53762d18ab1077eea641aa188f90 |
TLC with reduction strategy:
|
IfThen | NumUnaryMinus | False | Passed | |
b4350f36a153105ec29efb9e38a5f825c3ddcd68 |
TLC with reduction strategy:
|
IfElse | NumUnaryMinus | True | Passed | |
9e02022561a3f8b5eb684719c3149df1dde1f3cc |
TLC with reduction strategy:
|
IfElse | NumUnaryMinus | False | Passed | |
c6ff152fbaf4a11527fd30e8e29516320934969d |
TLC with reduction strategy:
|
Unchanged | NumUnaryMinus | True | Passed | |
3f42d0e8544ab0311c9d286c1cb2e9c9f940f014 |
TLC with reduction strategy:
|
Unchanged | NumUnaryMinus | False | Passed | |
d043cbe4863734b3f653918aa1114612dcc84d17 |
TLC with reduction strategy:
|
SeqSubSeq | NumUnaryMinus | True | Passed | |
17590fb2f85ec5d55786947153e3e239a956f3d7 |
TLC with reduction strategy:
|
SeqSubSeq | NumUnaryMinus | False | Passed | |
8a02e34fc77b547c6fc96b03b81348539621262b |
TLC with reduction strategy:
|
NumRange | NumUnaryMinus | True | Passed | |
10a9e5816f55ebadd5013d2c6fe68b1523fb41bf |
TLC with reduction strategy:
|
NumRange | NumUnaryMinus | False | Passed | |
20df2d21070418c89ad194a5ab5e62676b0d1fae |
TLC with reduction strategy:
|
TlcSingletonFun | NumUnaryMinus | True | Passed | |
7f3945d92957f72f48f46328b86b60551e11825b |
TLC with reduction strategy:
|
TlcSingletonFun | NumUnaryMinus | False | Passed | |
8febde35e6d2a0fc7993d17d39cb0b355681c96c |
TLC with reduction strategy:
|
TlcEval | NumUnaryMinus | True | Passed | |
d1c9a6d970633e9a95ba35279d356ba5ba0c1803 |
TLC with reduction strategy:
|
TlcEval | NumUnaryMinus | False | Passed | |
966657bc5db1998831b3ba65d928d9020298107d |
TLC with reduction strategy:
|
BagBagIn | NumUnaryMinus | True | Passed | |
1b4afb942a6dbfdb81087ad3251d7f43e6a5afc3 |
TLC with reduction strategy:
|
BagBagIn | NumUnaryMinus | False | Passed | |
a962f524d69f6f4825f488bf182e5870bf3760fa |
TLC with reduction strategy:
|
BagCopiesIn | NumUnaryMinus | True | Passed | |
9e0c094fd442400f0b7344daae5f64844beda2e1 |
TLC with reduction strategy:
|
BagCopiesIn | NumUnaryMinus | False | Passed | |
0c0a1325403909ca88ba1508036ddc47a8e21925 |
TLC with reduction strategy:
|
SeqAppend | NumUnaryMinus | True | Passed | |
4790206e2c4822da65833f98aedffe6bfc4f0dd1 |
TLC with reduction strategy:
|
SeqAppend | NumUnaryMinus | False | Passed |