we have quite a few systems implementing DIV all of which need the same level of unit testing for corner cases. * IEEE754 int div pipe * ISACaller * rust based power instruction analyser * qemu tester * nmigen HDL implementation therefore we really need a test specifier that is in a simple machine-readable form specifying what is to be tested. then, each system can run the same tests
http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-July/008648.html