ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cbrtf.c File Reference
#include "libm.h"
Include dependency graph for cbrtf.c:

Functions

float cbrtf (float x)

Variables

static const unsigned B1 = 709958130
static const unsigned B2 = 642849266

Function Documentation

◆ cbrtf()

float cbrtf ( float x)

Variable Documentation

◆ B1

const unsigned B1 = 709958130
static

◆ B2

const unsigned B2 = 642849266
static