Debug build | Release build | |||
in/out contract | checked, like assert(x) | not compiled, they have no effects | ||
array bounds check | Throws Error if outside | memory-unsafe access (I could enable bounds check) | ||
enforce(x) | Throws Exception if not x | Throws Exception if not x | ||
assert(x) | Throws Error if not x | not compiled, statement has no effect | ||
assert(false) | Throws Error if not x | halts the application, e.g., segfault |