Переменные окружения

Две переменные окружения настраивают прогоны без правки атрибутов — удобно в CI:

Переменная	Эффект
PROPERTY_RUNS	Положительное целое, переопределяющее счётчик прогонов каждого свойства (поднимайте в CI).
PROPERTY_SEED	Целочисленный seed для любого свойства, в атрибуте которого нет seed (повтор всего набора). Явный seed в атрибуте всё равно побеждает.
PROPERTY_VERBOSE	Любое значение, кроме ''/0, логирует сгенерированные аргументы каждого прогона и при падении — каждый принятый shrink-шаг (shrink step 3: x=63 -> 51): видно и что проигранный seed скармливает свойству, и как shrinker спускается.
PROPERTY_DB	Путь к каталогу, включающий корпус регрессий (ниже). Не задано — фича выключена, ничего не пишется.