When we say a piece of code 'runs', does it mean "it compiles correctly, and when running, may or may not crash on unit tests", or do we mean "the code compiles + passes all unit tests" ?////
Compiles and executes.
Passes unit tests or "doesn't crash" or other high standards aren't generally part of "runs".
By this definition, what is a program that 'compiles' but does not 'runs' ?
@bjorn3 : If I'm reading @Lokathor 's definition correctly, panic!() is allowed since "doesn't crash" is not a requirement.
Yes, I would say that:
cargo buildworks without errors, and you can start the program". Since we say things like "when i run it, the program crashes", obviously we've accepted that code which "runs" isn't bug free.
I suppose dynamic loader errors would fall under builds but not runs
bjorn3 : If I'm reading Lokathor 's definition correctly, panic!() is allowed since "doesn't crash" is not a requirement.
It might even be impossible to know if the program might crash :D (ahm halting ahm)