check.assertion\
SUCCESS\
assertion failed: 1 + 1 == 2

VERIFICATION:- FAILED (encountered no panics, but at least one was expected)