I am a bit confused though, is the bot actually including the generated contracts in the pull requests? Seems a bit invasive to me, wouldn’t be more interesting to keep the generated code out of tree and instead use these checks during CI (and maybe automating issues tickets creation). According listing 5, the generated code may be quite hard to read…
[EDIT] This would actually removes any dynamic check, I got it now…
Anyways, funny to see what level of ingenuity is needed to fix legacy mistakes which keep generating an astonishing number of bugs more than 50 years later :).
Good read, thanks for sharing!
I am a bit confused though, is the bot actually including the generated contracts in the pull requests? Seems a bit invasive to me, wouldn’t be more interesting to keep the generated code out of tree and instead use these checks during CI (and maybe automating issues tickets creation). According listing 5, the generated code may be quite hard to read…
[EDIT] This would actually removes any dynamic check, I got it now…
Anyways, funny to see what level of ingenuity is needed to fix legacy mistakes which keep generating an astonishing number of bugs more than 50 years later :).