lean4-htt/tests/compile/nat_shiftr.lean.out.expected
Garmelon 08eb78a5b2
chore: switch to new test/bench suite (#12590)
This PR sets up the new integrated test/bench suite. It then migrates
all benchmarks and some related tests to the new suite. There's also
some documentation and some linting.

For now, a lot of the old tests are left alone so this PR doesn't become
even larger than it already is. Eventually, all tests should be migrated
to the new suite though so there isn't a confusing mix of two systems.
2026-02-25 13:51:53 +00:00

168 lines
843 B
Text

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
255
127
0
0
0
0
0
0
0
0
0
0
256
128
0
0
0
0
0
0
0
0
0
0
257
128
0
0
0
0
0
0
0
0
0
0
65535
32767
3
1
0
0
0
0
0
0
0
0
65536
32768
4
2
1
0
0
0
0
0
0
0
65537
32768
4
2
1
0
0
0
0
0
0
0
4294967295
2147483647
262143
131071
65535
32767
1
0
0
0
0
0
4294967296
2147483648
262144
131072
65536
32768
2
1
0
0
0
0
4294967297
2147483648
262144
131072
65536
32768
2
1
0
0
0
0
18446744073709551615
9223372036854775807
1125899906842623
562949953421311
281474976710655
140737488355327
8589934591
4294967295
2147483647
1
0
0
18446744073709551616
9223372036854775808
1125899906842624
562949953421312
281474976710656
140737488355328
8589934592
4294967296
2147483648
2
1
0
18446744073709551617
9223372036854775808
1125899906842624
562949953421312
281474976710656
140737488355328
8589934592
4294967296
2147483648
2
1
0