test_case_failed
test_case_failed("expected 16-bit instruction");
test_case_failed("expected 32-bit instruction");
test_case_failed("registered probe for unsupported instruction");
test_case_failed("couldn't register probe for supported instruction");
test_case_failed("register test_before_probe failed");
test_case_failed("register test_after_probe failed");
test_case_failed("register test_after2_probe failed");
test_case_failed("registers differ");
test_case_failed("test memory differs");
test_case_failed("test_before_handler not run");
test_case_failed("test_after_handler not run");
test_case_failed("register test_case_probe failed");
test_case_failed("test_case_handler not run");
test_case_failed("test_case_handler ran");