--- Log opened Sat Feb 12 00:00:57 2022
06:14 < andytoshi> yeah, it was for extensions
07:34 <@sipa> @darosior Ok, back online.
07:36 <@sipa> I'll have a look later at the fuzz PRs, but I think in general we want 3 types of fuzz tests.
07:36 <@sipa> (1) FromString directly, just to make sure there are no inputs that trigger asserts, or OOMs, or UB, or ...
07:37 <@sipa> (2) Testing with fuzz input fed to FromScript, and if it succeeds, tests for roundtripping.
07:39 <@sipa> (3) The GenNode one, which does all the bells and whistles (e.g. toscript and tostring+fromstring+toscript are equal, also satisifiability tests). There could be two versions of this one (a dumb one and a smarter type-driven one)
08:21 <@sipa> I also wonder if we could add an internal type property to indicate "should roundtrip ToString".
--- Log closed Sun Feb 13 00:00:58 2022