|
|
|
|
|
by redefine_net
1609 days ago
|
|
your program might as well be an infinite loop sampling a boolean, sigsegv can be thrown after hardware errors. I wouldn't sit under that piano even if your code is formally verified and that formal verification was verified to be verified. :) |
|