On Mon, 2025-08-25 at 22:59 +0530, Nandakumar Edamana wrote: > This commit adds selftest to test the abstract multiplication > technique(s) used by the verifier, following the recent improvement in > tnum multiplication (tnum_mul). One of the newly added programs, > verifier_mul/mul_precise, results in a false positive with the old > tnum_mul, while the program passes with the latest one. > > Signed-off-by: Nandakumar Edamana <nandakumar@xxxxxxxxxxxxxxxx> > --- Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx> [...]
