Id | Type | Case Feature | Plug Feature | Check Deadlock | Test Results | Test Models |
---|---|---|---|---|---|---|
ed5281cfb1d200e094adcc7507d721d0b559e454 |
TLC with reduction strategy:
|
Unchanged | OneLineComment | True | Passed | |
3f688876dc16d68b0f93b29749425b9ed8722483 |
TLC with reduction strategy:
|
Unchanged | OneLineComment | False | Passed | |
d55d433759726a55d29ed303bf0f75bf131d42d6 |
TLC with reduction strategy:
|
Unchanged | MultiLineComment | True | Passed | |
e89fc4fe398169a4808cc8097b634983909d0411 |
TLC with reduction strategy:
|
Unchanged | MultiLineComment | False | Passed | |
5905ee89e1430ff28f3307f78fc581030f37bcb4 |
TLC with reduction strategy:
|
Unchanged | BoolTrue | True | Passed | |
81e6ce931564eebd55b4b7644aa7802b11a08efa |
TLC with reduction strategy:
|
Unchanged | BoolTrue | False | Passed | |
0bd91be42153ebcc3c060a3735ddbb95073f0909 |
TLC with reduction strategy:
|
Unchanged | BoolFalse | True | Passed | |
acd2f650344693739f42cb4f4c80db72db3a7718 |
TLC with reduction strategy:
|
Unchanged | BoolFalse | False | Passed | |
19208a0cd334d76747e3085f09e458f52673376d |
TLC with reduction strategy:
|
Unchanged | BoolSet | True | Passed | |
58d277ef75d79e121981b588036057b0d7f139a9 |
TLC with reduction strategy:
|
Unchanged | BoolSet | False | Passed | |
f2c1977e59fe09a089da83ecc8ddf0ac7fc7a6a9 |
TLC with reduction strategy:
|
Unchanged | And | True | Passed | |
76014af4637734edac05bd7d0df7df809a03409d |
TLC with reduction strategy:
|
Unchanged | And | False | Passed | |
796b712b49e7a45e03037246fd5c12445535f0e4 |
TLC with reduction strategy:
|
Unchanged | AndMultiLine | True | Passed | |
00981d7184c50fb7a58e7042ab713fea33c9203d |
TLC with reduction strategy:
|
Unchanged | AndMultiLine | False | Passed | |
6e0a2cd250c00d21a998ec530429417235fce7ca |
TLC with reduction strategy:
|
Unchanged | Imply | True | Passed | |
692d197d363fcb9311813c46a45a928692ba8b6f |
TLC with reduction strategy:
|
Unchanged | Imply | False | Passed | |
f6dd9cad2522446f1d997ffd9fc0cda1a34867af |
TLC with reduction strategy:
|
Unchanged | Not | True | Passed | |
b6865dcbc88b2a36df9c6d37c7d30776911e7422 |
TLC with reduction strategy:
|
Unchanged | Not | False | Passed | |
2b5368f40f55f879e70573074fcc9a0b78018882 |
TLC with reduction strategy:
|
Unchanged | Or | True | Passed | |
a27ca6597cbd663ea5ac64f662ee7b0fa045508e |
TLC with reduction strategy:
|
Unchanged | Or | False | Passed | |
ae8d894a5a77b7a37678c547e553ab59e2850a34 |
TLC with reduction strategy:
|
Unchanged | OrMultiLine | True | Passed | |
3f3f9b4331cabbbe7cdba69d487a263e9ece2506 |
TLC with reduction strategy:
|
Unchanged | OrMultiLine | False | Passed | |
410b340eafcad262f6cc7f44412c0bb68f4b6060 |
TLC with reduction strategy:
|
Unchanged | Eq | True | Passed | |
81299a050fd68239a50d6644258a51d0bf28d710 |
TLC with reduction strategy:
|
Unchanged | Eq | False | Passed | |
bfbd707625164d3ba983ab495b85d6ac35829e7d |
TLC with reduction strategy:
|
Unchanged | Ne | True | Passed | |
fbd9bd82aa6374bf7ca2656b21cbad06dc75e392 |
TLC with reduction strategy:
|
Unchanged | Ne | False | Passed | |
df689fcea5da9716e703c67f973a774e04d9a823 |
TLC with reduction strategy:
|
Unchanged | Let | True | Passed | |
908f1ec8eeb77381ee66c72ba64cd9358dc65098 |
TLC with reduction strategy:
|
Unchanged | Let | False | Passed | |
2d14c9cf9cea39881bc54a180ea5e1ef7723c2be |
TLC with reduction strategy:
|
Unchanged | SetEmpty | True | Passed | |
4957118b429d5646c7069e9d6206dd34ffdb4591 |
TLC with reduction strategy:
|
Unchanged | SetEmpty | False | Passed | |
3bd225f4818f38c69b870592b3bfadc3feba5908 |
TLC with reduction strategy:
|
Unchanged | Set0 | True | Passed | |
285eb973bd416c27ef8c0e92f6bd75d059e7437a |
TLC with reduction strategy:
|
Unchanged | Set0 | False | Passed | |
9937a79c53b051112754fc7f00c1085bbe6bcfea |
TLC with reduction strategy:
|
Unchanged | Set1 | True | Passed | |
e8abbc0e7f822669c19224baa90ad737ba71f4a8 |
TLC with reduction strategy:
|
Unchanged | Set1 | False | Passed | |
0f23826f1a1764eaa38e2baeaf1ac7c34b04d55b |
TLC with reduction strategy:
|
Unchanged | Set2 | True | Passed | |
f3fa92e20cb3e52816c3879aea21e924e8a43103 |
TLC with reduction strategy:
|
Unchanged | Set2 | False | Passed | |
3246078d63fe36590c66c8b79093fb5e8320bb54 |
TLC with reduction strategy:
|
Unchanged | Fun | True | Passed | |
a0edcfcafa4bd7370afc787b01daae48f31db39e |
TLC with reduction strategy:
|
Unchanged | Fun | False | Passed | |
77f0e14ab25f6704b6339a5f43f5ef6cdc60138e |
TLC with reduction strategy:
|
Unchanged | In | True | Passed | |
6bc863dcff03422d60b7128ede3fd7591fb44b43 |
TLC with reduction strategy:
|
Unchanged | In | False | Passed | |
04cf7a6acf77a0768bb4c2fec0e750dfff2949e0 |
TLC with reduction strategy:
|
Unchanged | NotIn | True | Passed | |
99d1921f73f46860c3c4d396137092c48be15635 |
TLC with reduction strategy:
|
Unchanged | NotIn | False | Passed | |
d927971b62aae362fae656061895a3ce0299e3d4 |
TLC with reduction strategy:
|
Unchanged | Exists | True | Passed | |
9bd0cb6160eb336de0d4fa5d31648f4f9e29ffd6 |
TLC with reduction strategy:
|
Unchanged | Exists | False | Passed | |
9df246c268f80c60a52891227f842361ac1f520d |
TLC with reduction strategy:
|
Unchanged | Forall | True | Passed | |
d3c1f7f84f6094991b38d5869411afd07759e0ba |
TLC with reduction strategy:
|
Unchanged | Forall | False | Passed | |
9aa56e5d9613b48de87fda4d4ee41157fb2a305f |
TLC with reduction strategy:
|
Unchanged | Choose | True | Passed | |
12311909d3038bce04612b8837734bd2fb9a11fa |
TLC with reduction strategy:
|
Unchanged | Choose | False | Passed | |
8c2f87161af8a253b7bde4b5bc410d9f088c6b67 |
TLC with reduction strategy:
|
Unchanged | Record | True | Passed | |
4889ade73f14b0bf8fad2d36a8fdd060ee80a369 |
TLC with reduction strategy:
|
Unchanged | Record | False | Passed | |
5904705d442c8b461e009494da3db2297ef4d3b9 |
TLC with reduction strategy:
|
Unchanged | Tuple | True | Passed | |
8811eb3bdf72195779ba6fe044878ddcf2cef722 |
TLC with reduction strategy:
|
Unchanged | Tuple | False | Passed | |
38b531ec770df870418e7435d48c7b5ac91adede |
TLC with reduction strategy:
|
Unchanged | TupleEmpty | True | Passed | |
1a8b182c0accbbadc83ec638bd9cb4804bddd51c |
TLC with reduction strategy:
|
Unchanged | TupleEmpty | False | Passed | |
ad955a07436639de9cca6323cc06d6a17443c741 |
TLC with reduction strategy:
|
Unchanged | FunApp | True | Passed | |
318e36221282d3618ee287805d3f7eb7f9678769 |
TLC with reduction strategy:
|
Unchanged | FunApp | False | Passed | |
87096d4f223967f4d4b826e91c1bfd4f444613ad |
TLC with reduction strategy:
|
Unchanged | NumZero | True | Passed | |
fcd0fc1d6cebddcf0b0c70f803436fc2f4c49999 |
TLC with reduction strategy:
|
Unchanged | NumZero | False | Passed | |
94ce7c35ac64e93b98742700ed037723434eaa64 |
TLC with reduction strategy:
|
Unchanged | NumOne | True | Passed | |
d487824b2888f0b63073c940dcdf3dce8aad55e5 |
TLC with reduction strategy:
|
Unchanged | NumOne | False | Passed | |
0eefac6b04917b54f25367c7f94bea607b70b0cc |
TLC with reduction strategy:
|
Unchanged | NumMaxInt | True | Passed | |
a0f05d8fce7b116b4cba766c4ead77aee921bad6 |
TLC with reduction strategy:
|
Unchanged | NumMaxInt | False | Passed | |
c6ff152fbaf4a11527fd30e8e29516320934969d |
TLC with reduction strategy:
|
Unchanged | NumUnaryMinus | True | Passed | |
3f42d0e8544ab0311c9d286c1cb2e9c9f940f014 |
TLC with reduction strategy:
|
Unchanged | NumUnaryMinus | False | Passed | |
b56f7a5dcfe61bffa07024e56e63975201c48dcc |
TLC with reduction strategy:
|
Unchanged | NumPlus | True | Passed | |
5b6c69cb9446e00f70fbde2038b96cc9595d6cba |
TLC with reduction strategy:
|
Unchanged | NumPlus | False | Passed | |
6e650fd17b2957b9230a56924fe3c6a07e1dd328 |
TLC with reduction strategy:
|
Unchanged | NumMinus | True | Passed | |
a2c5e1c20a2817c5cb2bbee74de18ec374c73188 |
TLC with reduction strategy:
|
Unchanged | NumMinus | False | Passed | |
21a33db9ff79a82671e056774835dc2d4ae43f8b |
TLC with reduction strategy:
|
Unchanged | NumMul | True | Passed | |
1f7f685c2408598eb2f44d9da5feaf9d2d695a1f |
TLC with reduction strategy:
|
Unchanged | NumMul | False | Passed | |
a234490cb1dd3ec1b07f849a235d29f39becc64c |
TLC with reduction strategy:
|
Unchanged | NumDiv | True | Passed | |
86cca44be10eeefa9264bc6d311a927bfdbfe748 |
TLC with reduction strategy:
|
Unchanged | NumDiv | False | Passed | |
a9eda365dda108a8c7d10f609670c1ad5cb55a09 |
TLC with reduction strategy:
|
Unchanged | NumMod | True | Passed | |
26f45ac42cdc2cf3452193709de3c7f70fe2fb1d |
TLC with reduction strategy:
|
Unchanged | NumMod | False | Passed | |
e34ab6b9f29639d9ff408da76556c780b0d490be |
TLC with reduction strategy:
|
Unchanged | NumPow | True | Passed | |
c7f74ebdbfbfdcaf7f58bbf86af4d79370eba7d5 |
TLC with reduction strategy:
|
Unchanged | NumPow | False | Passed | |
b945654fcc749dc74bad79388fe12144e2af491b |
TLC with reduction strategy:
|
Unchanged | NumGt | True | Passed | |
75d4f1d084df1303b080c95f82c8c70c1b12b9ff |
TLC with reduction strategy:
|
Unchanged | NumGt | False | Passed | |
acafd1ea0c2cbadf7ccd92df0955a8ada2be6626 |
TLC with reduction strategy:
|
Unchanged | NumGe | True | Passed | |
19573ba9a19b5eee8ad3dfdcd48f6b9c73f147a3 |
TLC with reduction strategy:
|
Unchanged | NumGe | False | Passed | |
ab2f073e9a64731cc7b0b6040c4946a02d4a29ac |
TLC with reduction strategy:
|
Unchanged | NumLt | True | Passed | |
c8eb24a9156cece314d3456a15e57f007ceb81fc |
TLC with reduction strategy:
|
Unchanged | NumLt | False | Passed | |
1c4f2055cc1fae00fa04f1621391ac71c9755bd7 |
TLC with reduction strategy:
|
Unchanged | NumLe | True | Passed | |
c5830368757b3252c1367de7b2fc60fd96879828 |
TLC with reduction strategy:
|
Unchanged | NumLe | False | Passed | |
ef2559d73f006d8a8ed30daa921fa9f8a3939055 |
TLC with reduction strategy:
|
Unchanged | DefFun | True | Passed | |
bffd0b44fa3a7eb55252da6e9eab2ddfe4708b3d |
TLC with reduction strategy:
|
Unchanged | DefFun | False | Passed | |
92ecadfd864f20c52b7979a351ea6f443bbdae5c |
TLC with reduction strategy:
|
Unchanged | LetDefFun | True | Passed | |
092c8bcd606be3ec534c76307c018b3b1fe526ff |
TLC with reduction strategy:
|
Unchanged | LetDefFun | False | Passed | |
1b856262dbb50d90ff79f4b7f457482c9f76e2ab |
TLC with reduction strategy:
|
Unchanged | DefFunRecursive | True | Passed | |
d233d96d5854371aa31e25f53804e844a0be9025 |
TLC with reduction strategy:
|
Unchanged | DefFunRecursive | False | Passed | |
4f6becf07ce5fa5040826a593b2d71907858391a |
TLC with reduction strategy:
|
Unchanged | LetDefFunRecursive | True | Passed | |
620ad17ef9121d3f1ba0e0a0c0bb3d9042bbc47a |
TLC with reduction strategy:
|
Unchanged | LetDefFunRecursive | False | Passed | |
06634ebb9ffd9265e20892640b288e3d41598f34 |
TLC with reduction strategy:
|
Unchanged | Def0 | True | Passed | |
f759b64a12d1ad9c1bc2ca8527278b7440d950c0 |
TLC with reduction strategy:
|
Unchanged | Def0 | False | Passed | |
20c24bd7a7e2957ef5a92abdbb4c14d0e832736b |
TLC with reduction strategy:
|
Unchanged | LetDef0 | True | Passed | |
9f2f66c7f8e205cef79fc1f47a13631b16e3bec3 |
TLC with reduction strategy:
|
Unchanged | LetDef0 | False | Passed | |
82bd322fed25892ce2195b0948ebc5b47f3baee2 |
TLC with reduction strategy:
|
Unchanged | Def1 | True | Passed | |
41489106fee7274a4d8949673c20606fdb49b90e |
TLC with reduction strategy:
|
Unchanged | Def1 | False | Passed | |
c0e3af29042c458a24ef5121ea3bb0215d0f6e27 |
TLC with reduction strategy:
|
Unchanged | LetDef1 | True | Passed | |
826fcbe4799ff3c2a72678145a03318c8d6bc777 |
TLC with reduction strategy:
|
Unchanged | LetDef1 | False | Passed | |
cc96ead9843c49c7f81855a70c98a28857210018 |
TLC with reduction strategy:
|
Unchanged | Def2 | True | Passed | |
b44e34fdbfa331260e1b676e4b600fc96bf0d4c0 |
TLC with reduction strategy:
|
Unchanged | Def2 | False | Passed | |
72388bbdb6473fc4e2dc4e07045c3bda37dc647f |
TLC with reduction strategy:
|
Unchanged | LetDef2 | True | Passed | |
994f48d28e7d22295af1182a52537bd3c2ed4b95 |
TLC with reduction strategy:
|
Unchanged | LetDef2 | False | Passed | |
38ab922d3d1c27c9d4f53f9293b5bb5f562beb32 |
TLC with reduction strategy:
|
Unchanged | Def1Recursive | True | Passed | |
5dc4efcba01b8c9160a1e419214af08ffcc4d941 |
TLC with reduction strategy:
|
Unchanged | Def1Recursive | False | Passed | |
d36252173fc6d90e4009c222cf53222296a848e3 |
TLC with reduction strategy:
|
Unchanged | LetDef1Recursive | True | Passed | |
7649bec5d79aca179ecb9fd6932b91cf8edc981a |
TLC with reduction strategy:
|
Unchanged | LetDef1Recursive | False | Passed | |
83636fb998132637e36c8a676ea46063784012cc |
TLC with reduction strategy:
|
Unchanged | Extends | True | Passed | |
dd2d334a7d34f278e3b3d717ed00ccb169547975 |
TLC with reduction strategy:
|
Unchanged | Extends | False | Passed | |
3aaab675305f7cac4b61309b53ff012110ef6fe4 |
TLC with reduction strategy:
|
Unchanged | ExtendsInDifferentFolder | True | Passed | |
38956a72f53dbba0e57cd7535cc67db5bbaff86e |
TLC with reduction strategy:
|
Unchanged | ExtendsInDifferentFolder | False | Passed | |
8c67ac5f4ce414a6a1203ae0b7616623f85105ad |
TLC with reduction strategy:
|
Unchanged | Variable | True | Passed | |
2f13f2371e7e0d06b7310bcb1891c7e3c8d457ec |
TLC with reduction strategy:
|
Unchanged | Variable | False | Passed | |
4e5ee274b14a9283564849b01b04b5a29ff7135f |
TLC with reduction strategy:
|
Unchanged | Instance | True | Passed | |
8db25913c78c1c1192b0f54e56d7ed95e0eeee9e |
TLC with reduction strategy:
|
Unchanged | Instance | False | Passed | |
6ccb0ef04d7cb2c17f5fb1e141a87170f5e09097 |
TLC with reduction strategy:
|
Unchanged | InstanceWith | True | Passed | |
c81768728b0fd403add070aeb32167debdee527d |
TLC with reduction strategy:
|
Unchanged | InstanceWith | False | Passed | |
0bc0a96f3632ff3255753058e87f9fb4132a06c2 |
TLC with reduction strategy:
|
Unchanged | InstanceNamed | True | Passed | |
23664a4e09be8662924cd834df27d986c3188d93 |
TLC with reduction strategy:
|
Unchanged | InstanceNamed | False | Passed | |
7a0e7c544613220a50821a7a69a1a1ece88750ad |
TLC with reduction strategy:
|
Unchanged | InstanceNamedWith | True | Passed | |
7794a191ec757b47e04e8934acf4756f085d929a |
TLC with reduction strategy:
|
Unchanged | InstanceNamedWith | False | Passed | |
3e23146a2b4d221e8a20d35e294096ba6661c13a |
TLC with reduction strategy:
|
Unchanged | InstanceInFolder | True | Passed | |
f59180d6ff178f7db672683e0b0f0c301803cdfc |
TLC with reduction strategy:
|
Unchanged | InstanceInFolder | False | Passed | |
9c11684673cbc6dc8874217b0086cfd1708db08e |
TLC with reduction strategy:
|
Unchanged | InstanceWithInFolder | True | Passed | |
3e9602c5fda0f47ca449d138355ebd3130ebf62d |
TLC with reduction strategy:
|
Unchanged | InstanceWithInFolder | False | Passed | |
ce0511d54266829dcf4c6951677d29e0ef00fa52 |
TLC with reduction strategy:
|
Unchanged | InstanceNamedInFolder | True | Passed | |
7c946ebcb32906b82156ff1837b6b3e5be0f2138 |
TLC with reduction strategy:
|
Unchanged | InstanceNamedInFolder | False | Passed | |
a999ffda7c7c19ebd71ae9d178cafffea7622e74 |
TLC with reduction strategy:
|
Unchanged | InstanceNamedWithInFolder | True | Passed | |
de4999ff3195f3e86cdffa788b24c26f694455c2 |
TLC with reduction strategy:
|
Unchanged | InstanceNamedWithInFolder | False | Passed | |
8da4f57ccbab152fae968e8338267b3ed9b6cb33 |
TLC with reduction strategy:
|
Unchanged | Enabled | True | Passed | |
4c38d65d905a3134d9cd902251d0148bbd134965 |
TLC with reduction strategy:
|
Unchanged | Enabled | False | Passed | |
653e45e68081e18423422184c6f92eafe8710a47 |
TLC with reduction strategy:
|
Unchanged | Cross2 | True | Passed | |
7f878a978970b0635fb04767f67c8bcd765bbaac |
TLC with reduction strategy:
|
Unchanged | Cross2 | False | Passed | |
7c38832faf4aa7974f189d0c0b12677cad606c6b |
TLC with reduction strategy:
|
Unchanged | Cross3 | True | Passed | |
28f186d522022409a88e0a51315b1b346e5b963f |
TLC with reduction strategy:
|
Unchanged | Cross3 | False | Passed | |
58fd30ad4560ea1e607c9b8425fb783ec29d9cb2 |
TLC with reduction strategy:
|
Unchanged | FunSet | True | Passed | |
84c8d4d3c4d72b81660f88cc2c27e7c7aa7a068c |
TLC with reduction strategy:
|
Unchanged | FunSet | False | Passed | |
cdf04b13576b79f80cc64410e5bad7b23ef1ada5 |
TLC with reduction strategy:
|
Unchanged | RecordSet | True | Passed | |
0e1196a571a5daa120b7706207de3f2804ae773a |
TLC with reduction strategy:
|
Unchanged | RecordSet | False | Passed | |
d474b0040b7bedfab1f71f6858b320aff0fdd39c |
TLC with reduction strategy:
|
Unchanged | SetDiff | True | Passed | |
c2114a8c3287024903620599a6d53aa59d08d7de |
TLC with reduction strategy:
|
Unchanged | SetDiff | False | Passed | |
a1cf3b5f0b01985845f81d631faf6d7e93f5cb72 |
TLC with reduction strategy:
|
Unchanged | SetUnion | True | Passed | |
cca3fd7e25438f53515375665fb74ad3b3def1e4 |
TLC with reduction strategy:
|
Unchanged | SetUnion | False | Passed | |
ee6ca2c50fe0e2f27e65d8fe8d994a5554abe6bc |
TLC with reduction strategy:
|
Unchanged | SetIntersect | True | Passed | |
29991bdf7412b75169001f96ba7a75f2b76afb17 |
TLC with reduction strategy:
|
Unchanged | SetIntersect | False | Passed | |
19e1e69b817f7ac181a1af1e46ed2b6702d502d2 |
TLC with reduction strategy:
|
Unchanged | SubsetEq | True | Passed | |
a0d51aae5adb38f3ea243761f1e263c6adff6422 |
TLC with reduction strategy:
|
Unchanged | SubsetEq | False | Passed | |
ebc835b9836382520fbbe3c34dd4b39116cc796a |
TLC with reduction strategy:
|
Unchanged | IfCond | True | Passed | |
67032f036800583df61d33e54faf2d43dc6041bb |
TLC with reduction strategy:
|
Unchanged | IfCond | False | Passed | |
8ff4988c9f6242db4b983786c798187b5e3d4b35 |
TLC with reduction strategy:
|
Unchanged | IfThen | True | Passed | |
1df32a1a98c3f364efd75e94ecd3ae37bc27c2c2 |
TLC with reduction strategy:
|
Unchanged | IfThen | False | Passed | |
675ce686a61288a7648dc7588dd16e1ab136c068 |
TLC with reduction strategy:
|
Unchanged | IfElse | True | Passed | |
948c4f3988a454edd9a6a59609e4d236d700c064 |
TLC with reduction strategy:
|
Unchanged | IfElse | False | Passed | |
f28776b07083b9b27dada9dc840b7777ecc0b710 |
TLC with reduction strategy:
|
Unchanged | Subset | True | Passed | |
7223285ec722e36c4dfe8487f58c413356448e37 |
TLC with reduction strategy:
|
Unchanged | Subset | False | Passed | |
f54279950793d437fcd7471dd6273d87e5bafdcf |
TLC with reduction strategy:
|
Unchanged | Domain | True | Passed | |
9aef8d33fcf85087d298a0a8af84a57b36f10574 |
TLC with reduction strategy:
|
Unchanged | Domain | False | Passed | |
f0b5a8a31283d7d97fa23f9068ffb03f50cf0deb |
TLC with reduction strategy:
|
Unchanged | Union | True | Passed | |
1eaa1583cb3f6eb932bc0919b62aa094ebcaf6c9 |
TLC with reduction strategy:
|
Unchanged | Union | False | Passed | |
72aa897107dd14ec39523307149f7884195f6b00 |
TLC with reduction strategy:
|
Unchanged | Equivalence | True | Passed | |
899af6fbea89639c5740a2abe6248a54ab2c69f4 |
TLC with reduction strategy:
|
Unchanged | Equivalence | False | Passed | |
41317f26c239e0b81e5386bb5c44408de90c4565 |
TLC with reduction strategy:
|
Unchanged | StringEmpty | True | Passed | |
0c08c9184fb6fe26a86cc3435352b06dcad0522b |
TLC with reduction strategy:
|
Unchanged | StringEmpty | False | Passed | |
6c5c02dda977eb6dea7c96ed0b59825f8bec8689 |
TLC with reduction strategy:
|
Unchanged | String | True | Passed | |
6b76ead214138db3f583ecfbb65a8c4dff5660a4 |
TLC with reduction strategy:
|
Unchanged | String | False | Passed | |
b2fe26744269a8bf3ca92af594e345e181440801 |
TLC with reduction strategy:
|
Unchanged | SeqLen | True | Passed | |
4f61fd400fbc4335fbe1c01b279488ecec2659e0 |
TLC with reduction strategy:
|
Unchanged | SeqLen | False | Passed | |
f37c96c33616f917f374287c5d5887c364e6926d |
TLC with reduction strategy:
|
Unchanged | SeqConcat | True | Passed | |
dd09e6c4fb2cc2b9c451293291db5e04cfe4b516 |
TLC with reduction strategy:
|
Unchanged | SeqConcat | False | Passed | |
1ff6acaf4a57b5928c90b759251e54281b5d0b6e |
TLC with reduction strategy:
|
Unchanged | SeqSelectSeq | True | Passed | |
c877937bc47c3e7d57391e3b1f2f0573203db6b0 |
TLC with reduction strategy:
|
Unchanged | SeqSelectSeq | False | Passed | |
9945c8789a000a24cb6d09160a8dbd74d17977bd |
TLC with reduction strategy:
|
Unchanged | SeqSubSeq | True | Passed | |
dea433d9806f5976acd0a236da4cd21d3db91eeb |
TLC with reduction strategy:
|
Unchanged | SeqSubSeq | False | Passed | |
e97d21cdd8436545b8c25b8b3245f2ce128b9fc6 |
TLC with reduction strategy:
|
Unchanged | NumRange | True | Passed | |
b1cb9394b44d235e80981ec2f14bdfe7afde7f1d |
TLC with reduction strategy:
|
Unchanged | NumRange | False | Passed | |
63e039001efeec125400dd5817cbf4acfa175a4c |
TLC with reduction strategy:
|
Unchanged | TlcSingletonFun | True | Passed | |
6aea449d2e58b4fa9029f9ef4f31bfb844a762a0 |
TLC with reduction strategy:
|
Unchanged | TlcSingletonFun | False | Passed | |
8b02059966e420398bf1d1629d88cd35dca9bd6e |
TLC with reduction strategy:
|
Unchanged | TlcExtendFun | True | Passed | |
5e86707d88bfd4e0456f68201a22a695f03790cc |
TLC with reduction strategy:
|
Unchanged | TlcExtendFun | False | Passed | |
0b1d43f86f1556d5c07352c3ceb421d51f7cc24a |
TLC with reduction strategy:
|
Unchanged | TlcPermuteFun | True | Passed | |
47d778333c0561b0f6bef078455a0bbbbb4b434a |
TLC with reduction strategy:
|
Unchanged | TlcPermuteFun | False | Passed | |
13ddac1551ea9a114fae88d389448e5377320c7c |
TLC with reduction strategy:
|
Unchanged | TlcSortSeq | True | Passed | |
fac910bb1b3eeb485e912c807c1da725d4aad858 |
TLC with reduction strategy:
|
Unchanged | TlcSortSeq | False | Passed | |
28fdbc326472dd6e3d3cc53a83ecb2d71a8026c6 |
TLC with reduction strategy:
|
Unchanged | TlcEval | True | Passed | |
c8054c9f2b2d50b4af94a9f64af1b50f5a4fc6cc |
TLC with reduction strategy:
|
Unchanged | TlcEval | False | Passed | |
52b0417e256fc16676254d907e15bfe05cd2b953 |
TLC with reduction strategy:
|
Unchanged | BagBagToSet | True | Passed | |
e898f7abc04d99a9ccb911b1b04add8951d38541 |
TLC with reduction strategy:
|
Unchanged | BagBagToSet | False | Passed | |
90d8f95eea6a8c158503a7b7ca3fd36167986349 |
TLC with reduction strategy:
|
Unchanged | BagSetToBag | True | Passed | |
ebe1f34967982727e38d56bd180e3fbbf188e652 |
TLC with reduction strategy:
|
Unchanged | BagSetToBag | False | Passed | |
7a10e78f2a67da51f4052a785d9a0cc54c6addd6 |
TLC with reduction strategy:
|
Unchanged | BagBagIn | True | Passed | |
ef228f1b4f3e2e166f6f83f14840434c7e7ff8c0 |
TLC with reduction strategy:
|
Unchanged | BagBagIn | False | Passed | |
36774dbd4c2c6f747ccfeeb2be190644154ce107 |
TLC with reduction strategy:
|
Unchanged | BagEmptyBag | True | Passed | |
0e98c2f888697b0fa356f6c990cf795c4b561d63 |
TLC with reduction strategy:
|
Unchanged | BagEmptyBag | False | Passed | |
cd27ba2d5c90d0479784f59611c5d5a0ab9c10ff |
TLC with reduction strategy:
|
Unchanged | BagAddBag | True | Passed | |
c48f0112dbe71cb8fa4438e06d7b939569d2ff58 |
TLC with reduction strategy:
|
Unchanged | BagAddBag | False | Passed | |
79eb1e5a6b211f1f894bd1679229c13d5b1235b5 |
TLC with reduction strategy:
|
Unchanged | BagBagSub | True | Passed | |
208a1ba4645ce84cbec2dc9287ed24b8fa7b9354 |
TLC with reduction strategy:
|
Unchanged | BagBagSub | False | Passed | |
59763411a489166e6c47b62ae988446b2f8697ed |
TLC with reduction strategy:
|
Unchanged | BagCopiesIn | True | Passed | |
73bba11b36edac65fdc1ff6c9a157dee84bab5fa |
TLC with reduction strategy:
|
Unchanged | BagCopiesIn | False | Passed | |
56f4cd9a0313c64c71f4bcf42c07209155a7abfd |
TLC with reduction strategy:
|
Unchanged | BagSubsetEqBag | True | Passed | |
c22543f85a93194b61b001f040dbcb84d99e616e |
TLC with reduction strategy:
|
Unchanged | BagSubsetEqBag | False | Passed | |
f2a2b420bf01e4337aed131cffeb38a419f73cf1 |
TLC with reduction strategy:
|
Unchanged | BagBagUnion | True | Passed | |
7e55c42883368f64611f507ea433be9e5a4eb24b |
TLC with reduction strategy:
|
Unchanged | BagBagUnion | False | Passed | |
5376188c4f01898c7542dd01c5abfadc632430c4 |
TLC with reduction strategy:
|
Unchanged | BagBagCardinality | True | Passed | |
69a4f8d19bd171a717153c5768a4da0994f62606 |
TLC with reduction strategy:
|
Unchanged | BagBagCardinality | False | Passed | |
c646b278ba94ae4c9b988f1ab2a6b2f2bd0a1da3 |
TLC with reduction strategy:
|
Unchanged | BagBagOfAll | True | Passed | |
25e691e73a1a979ef37b39ad3e47aeb23e52b144 |
TLC with reduction strategy:
|
Unchanged | BagBagOfAll | False | Passed | |
6e8e03bda2238624f4b1da6c65eb38e5fd299a9f |
TLC with reduction strategy:
|
Unchanged | BagSubBag | True | Passed | |
5e3f95160e388a25f174ed55de3415a554dc278e |
TLC with reduction strategy:
|
Unchanged | BagSubBag | False | Passed | |
7a9809c85dc47b134b2f954aced1054b3906e4db |
TLC with reduction strategy:
|
Unchanged | FiniteSetsIsFiniteSet | True | Passed | |
8cb3d99a6d94dda597f4f35bd9291d1c2998709d |
TLC with reduction strategy:
|
Unchanged | FiniteSetsIsFiniteSet | False | Passed | |
50d9d217e3622552efcd5d0dfc159d075db5c9df |
TLC with reduction strategy:
|
Unchanged | FiniteSetsCardinality | True | Passed | |
58cd7632583e2e0584a2e98b2432adef2ea74dd4 |
TLC with reduction strategy:
|
Unchanged | FiniteSetsCardinality | False | Passed | |
3a1443aabe22729b783906de51163d9878d4d1e2 |
TLC with reduction strategy:
|
Unchanged | SeqHead | True | Passed | |
2ecbf95037dd637a5c4a85932a298bf4b7485ec6 |
TLC with reduction strategy:
|
Unchanged | SeqHead | False | Passed | |
eb0952b67f73dfe4377efa0876b1ab57c3d2a1ca |
TLC with reduction strategy:
|
Unchanged | SeqTail | True | Passed | |
f0df9347a62836c0bc26be66ba62ba637778be89 |
TLC with reduction strategy:
|
Unchanged | SeqTail | False | Passed | |
d9037ec9bd49f58844ccd030c520e38143f878d0 |
TLC with reduction strategy:
|
Unchanged | SeqAppend | True | Passed | |
2b5d2176ffb5c169b8a1391a16f575648025c5f0 |
TLC with reduction strategy:
|
Unchanged | SeqAppend | False | Passed |