Hacker News Reader

Good luck defining "expected" for most of the more complex cases.

Seems trivial to me for infinite loops. Nothing special to specify here, they're already specced by the definition of loops.