[i2talics]

Why does the original C verifier have bugs if its supposedly so easy to implement a verifier?

[poizan42]

Nothing more complex than Hello world is easy to implement in C without risking mistakes in checking boundary conditions if you are not really careful.