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

Namespaces

namespace  random

Functions

int random.randint (int a, int b)
float random.random ()
float random.uniform (float a, float b)
int random.getrandbits (int k)
None random.seed (int a=0)
int random.choice (list[int] seq)
float random.choice_float (list[float] seq)
str random.choice_str (list[str] seq)
str random.choice_chars (str seq)
None random.shuffle (list[int] lst)
list[int] random.sample (list[int] population, int k)
list[float] random.sample_float (list[float] population, int k)
list[str] random.sample_str (list[str] population, int k)
list[str] random.sample_chars (str population, int k)
int random.randrange (int start, int stop=None, int step=1)