Assertions

[ricvelozo]

I want to use assertions in verify() functions to simplify the code. Does the error output need to be exact? Example:

if left != right {
    eprintln!("{left} != {right}");
    process::exit(-1);
}

Will become just:

assert_eq!(left, right);

The error output:

thread 'main' panicked at 'assertion failed: `(left == right)`
  left: `80`,
 right: `82`', src/main.rs:2:5
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

[ricvelozo]

And the verify() function needs to be called in release mode? Because in Swift we must disable the -Ounchecked flag to the assertion don't be optimized away.

[nuald]

The code is not tested in debug mode at all, so whatever verification is used, should work in the release mode too.

[ricvelozo]

The code is not tested in debug mode at all, so whatever verification is used, should work in the release mode too.

Alright, I will use fatalError() in Swift (not optimized away). But the -Ounchecked flag is another one to go to the #290 discussion.