|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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) |