Stream: general

Topic: definition of 'runs'


zeroexcuses (May 10 2020 at 17:20, on Zulip):

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" ?////

Lokathor (May 10 2020 at 19:03, on Zulip):

Compiles and executes.

Passes unit tests or "doesn't crash" or other high standards aren't generally part of "runs".

zeroexcuses (May 10 2020 at 19:12, on Zulip):

By this definition, what is a program that 'compiles' but does not 'runs' ?

bjorn3 (May 10 2020 at 19:29, on Zulip):
panic!();
loop {}
zeroexcuses (May 10 2020 at 19:43, on Zulip):

@bjorn3 : If I'm reading @Lokathor 's definition correctly, panic!() is allowed since "doesn't crash" is not a requirement.

Lokathor (May 10 2020 at 22:44, on Zulip):

Yes, I would say that:

Connor Horman (May 11 2020 at 00:18, on Zulip):

I suppose dynamic loader errors would fall under builds but not runs

Elichai Turkel (May 19 2020 at 15:37, on Zulip):

zeroexcuses said:

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)

Last update: Jun 05 2020 at 23:20UTC