Hacker News new | ask | show | jobs
by toast0 29 days ago
> The promises you get is that the program will always terminate

I don't want my programs to terminate though.
1 comments
derdi 29 days ago
Oh no, you have just proved formal verification useless! Or, if you have an outer event loop that should potentially run forever, you mark only that one loop accordingly (details depend on the system).
link