On Thu, 2023-11-09 at 15:28 -0800, Andrii Nakryiko wrote: [...] > > > I think that this case needs a dedicated test case that would check > > > precision tracking log. > > > > ok, will add > > > > But I will say that it would be much better if verifier/precise.c was > converted to embedded assembly... Let's see if we can somehow > negotiate completing test_verifier conversion? ;) I'll take a look at what can be done for precise.c over the weekend.
