ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
breakpoint.h
Go to the documentation of this file.
1#pragma once
2
3static void breakpoint()
4{
5#ifndef _WIN32
6# if defined(__i386__) || defined(__x86_64__)
7 __asm__("int $3");
8# else
9 log_error("Can't trap on this platform, sorry");
10 abort();
11# endif
12#else
13 log_error("Can't trap on windows, sorry");
14 abort();
15#endif
16}
breakpoint
static void breakpoint()
Definition breakpoint.h:3
log_error
#define log_error(fmt,...)
Definition message.h:83
abort
void abort(void)
Definition stdlib.c:77