ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
builtins.py File Reference

Namespaces

namespace  builtins

Functions

bool builtins.all (list[Any] iterable)
int builtins.max (list[int] iterable)
float builtins.max_float (list[float] iterable)
str builtins.max_str (list[str] iterable)
int builtins.max_default (list[int] iterable, int default)
float builtins.max_default_float (list[float] iterable, float default)
str builtins.max_default_str (list[str] iterable, str default)
int builtins.min (list[int] iterable)
float builtins.min_float (list[float] iterable)
str builtins.min_str (list[str] iterable)
bool builtins.any (list[Any] iterable)
int builtins.min_default (list[int] iterable, int default)
float builtins.min_default_float (list[float] iterable, float default)
str builtins.min_default_str (list[str] iterable, str default)
int builtins.sum (list[int] iterable, int start=0)
float builtins.sum_float (list[float] iterable, float start=0.0)
list[int] builtins.sorted (list[int] iterable, bool reverse=False)
list[float] builtins.sorted_float (list[float] iterable, bool reverse=False)
list[str] builtins.sorted_str (list[str] iterable, bool reverse=False)
list[int] builtins.reversed (list[int] iterable)
list[float] builtins.reversed_float (list[float] iterable)
list[str] builtins.reversed_str (list[str] iterable)
int builtins._starred_arity_error ()
int builtins._call_type_error (str message)