def test_stops_loading_pareto_front_if_interesting():
with deterministic_PRNG():
def test(data):
data.draw_bits(8)
data.draw_bits(8)
data.mark_interesting()
db = InMemoryExampleDatabase()
runner = ConjectureRunner(
test,
settings=settings(
max_examples=1000,
database=db,
suppress_health_check=HealthCheck.all(),
phases=[Phase.reuse],
),
database_key=b"stuff",
)
for i in range(10000):
db.save(runner.pareto_key, int_to_bytes(i, 2))
runner.reuse_existing_examples()
assert runner.call_count == 1
def test_down_samples_the_pareto_front():
with deterministic_PRNG():
def test(data):
data.draw_bits(8)
data.draw_bits(8)
db = InMemoryExampleDatabase()
runner = ConjectureRunner(
test,
settings=settings(
max_examples=1000,
database=db,
suppress_health_check=HealthCheck.all(),
phases=[Phase.reuse],
),
database_key=b"stuff",
)
for i in range(10000):
db.save(runner.pareto_key, int_to_bytes(i, 2))
runner.reuse_existing_examples()
assert 0 < runner.valid_examples <= 100
