Programming, Python, Property Based Testing, Software Testing, Python Programming.
generate random plaintexts s as well as keys k, and test the invertibility property. We allow s to be any text but restrict k to the range [0, 26], i.e., some character-like offset, to avoid over- / underflows for the ord function (which Hypothesis correctly points out otherwise!) Features of