4 Comments

I believe this sentence needs to be fixed: "Furthermore, our assertion does not fail, proving that the source code does not currently satisfy the expected behavior"

Expand full comment

Thanks! I now fixed it as follows: "Furthermore, our assertion should fail, proving that the source code does not currently satisfy the expected behavior. "

Expand full comment

Hmm... those "Hype O-Hole"s in figures are typos, right?

Expand full comment

Juha, thanks, yes that's right. I now fixed the label in the diagram, with the corrected text "Type O-Hole".

Expand full comment