Post #2603554

@harrysintonen@infosec.exchange i wonder how many of these "hundreds of bugs" would also have just been caught out by ... basic refinement types / design by contract testing with why3 :cat_sad: