4 Comments
User's avatar
Jose Garrera's avatar

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
Valentina Jemuović's avatar

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
Juha Lassila's avatar

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

Expand full comment
Valentina Jemuović's avatar

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

Expand full comment