#813 points to a fundamental flaw in the testing of kernels.
What about including something like this in the kernel header file and then generating input accordingly?
#if 0 // VOLK_TEST_SPEC
domain: [0x00800000, 0x7F7FFFFF]
sweep_negative: false
tolerance: 8e-6
comparison: absolute
edge_cases: [-1.0, 0.0, inf, 65536.0]
benchmark_sizes: [1024, 65536, 131071]
#endif
It's unconventional but would be effective.
#813 points to a fundamental flaw in the testing of kernels.
What about including something like this in the kernel header file and then generating input accordingly?
It's unconventional but would be effective.