4 ms·
> The promises you get is that the program will always terminate I don't want my programs to terminate though.
by toast0 4mo ago
> The promises you get is that the program will always terminate
I don't want my programs to terminate though.
- derdi 4mo agoOh 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).