ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
nextafter.c File Reference
#include <stdint.h>
#include <fenv.h>
#include <math.h>
#include <errno.h>
Include dependency graph for nextafter.c:

Macros

#define NEXTAFTER(suff, dbl, ui)

Variables

_Thread_local int errno

Macro Definition Documentation

◆ NEXTAFTER

#define NEXTAFTER ( suff,
dbl,
ui )

Variable Documentation

◆ errno

_Thread_local int errno
extern