mirror of
https://github.com/aljazceru/turso.git
synced 2025-12-17 08:34:19 +01:00
7f7ad90244
Antithesis is now supposed to detect that this is not a runnable driver and not complain about it.
23 lines
723 B
Python
Executable File
23 lines
723 B
Python
Executable File
import string
|
|
|
|
from antithesis.random import get_random, random_choice
|
|
|
|
|
|
def generate_random_identifier(type: str, num: int):
|
|
return "".join(type, "_", get_random() % num)
|
|
|
|
|
|
def generate_random_value(type_str):
|
|
if type_str == "INTEGER":
|
|
return str(get_random() % 100)
|
|
elif type_str == "REAL":
|
|
return "{:.2f}".format(get_random() % 100 / 100.0)
|
|
elif type_str == "TEXT":
|
|
return f"'{''.join(random_choice(string.ascii_lowercase) for _ in range(5))}'"
|
|
elif type_str == "BLOB":
|
|
return f"x'{''.join(random_choice(string.ascii_lowercase) for _ in range(5)).encode().hex()}'"
|
|
elif type_str == "NUMERIC":
|
|
return str(get_random() % 100)
|
|
else:
|
|
return "NULL"
|