there seems to be quite a common fallacy that the VM machine can only identify the bugs in integrals, limits, solvers, ODE solvers etc
Nothing could be further from the truth. While it is still too early to discuss publicly the VM machine QA scope, to perturb a bit the monotony, we pinpoint yet another type of defect.
