83 lines
1.1 KiB
JSON
83 lines
1.1 KiB
JSON
{
|
|
"function": "intBelow",
|
|
"cases": [
|
|
{
|
|
"name": "below-6-from-seed-0",
|
|
"args": [
|
|
6,
|
|
0
|
|
],
|
|
"expected": [
|
|
2,
|
|
1831565813
|
|
]
|
|
},
|
|
{
|
|
"name": "below-1-from-seed-0",
|
|
"args": [
|
|
1,
|
|
0
|
|
],
|
|
"expected": [
|
|
0,
|
|
1831565813
|
|
]
|
|
},
|
|
{
|
|
"name": "below-2-from-seed-1",
|
|
"args": [
|
|
2,
|
|
1
|
|
],
|
|
"expected": [
|
|
1,
|
|
1831565814
|
|
]
|
|
},
|
|
{
|
|
"name": "below-10-from-seed-1",
|
|
"args": [
|
|
10,
|
|
1
|
|
],
|
|
"expected": [
|
|
7,
|
|
1831565814
|
|
]
|
|
},
|
|
{
|
|
"name": "below-3-from-seed-4294967295",
|
|
"args": [
|
|
3,
|
|
4294967295
|
|
],
|
|
"expected": [
|
|
2,
|
|
1831565812
|
|
]
|
|
},
|
|
{
|
|
"name": "below-400-from-seed-42",
|
|
"args": [
|
|
400,
|
|
42
|
|
],
|
|
"expected": [
|
|
156,
|
|
1831565855
|
|
]
|
|
},
|
|
{
|
|
"name": "below-4-from-seed-12345",
|
|
"args": [
|
|
4,
|
|
12345
|
|
],
|
|
"expected": [
|
|
1,
|
|
1831578158
|
|
]
|
|
}
|
|
]
|
|
}
|