Function creusot_contracts::std::process::exit

pub fn exit(code: i32) -> !

Terminates the current process with the specified exit code.

This function will never return and will immediately terminate the current process. The exit code is passed through to the underlying OS and will be available for consumption by another process.

Note that because this function never returns, and that it terminates the process, no destructors on the current stack or any other thread’s stack will be run. If a clean shutdown is needed it is recommended to only call this function at a known point where there are no more destructors left to run; or, preferably, simply return a type implementing Termination (such as ExitCode or Result) from the main function and avoid this function altogether:

fn main() -> Result<(), MyError> {
    // ...
    Ok(())
}

Platform-specific behavior

Unix: On Unix-like platforms, it is unlikely that all 32 bits of exit will be visible to a parent process inspecting the exit code. On most Unix-like platforms, only the eight least-significant bits are considered.

For example, the exit code for this example will be 0 on Linux, but 256 on Windows:

use std::process;

process::exit(0x0100);