cprover
Loading...
Searching...
No Matches
widened_range.cpp File Reference
#include "widened_range.h"
#include <util/simplify_expr.h>
Include dependency graph for widened_range.cpp:

Go to the source code of this file.

Functions

static bool has_underflowed (const exprt &value)
static bool has_overflowed (const exprt &value, const exprt &initial_value)

Function Documentation

◆ has_overflowed()

bool has_overflowed ( const exprt & value,
const exprt & initial_value )
static

Definition at line 17 of file widened_range.cpp.

◆ has_underflowed()

bool has_underflowed ( const exprt & value)
static

Definition at line 12 of file widened_range.cpp.