def test_smaller_interesting_dominates_larger_valid():
def test(data):
if data.draw_bits(8) == 0:
data.mark_interesting()
runner = ConjectureRunner(
test,
settings=settings(TEST_SETTINGS, database=InMemoryExampleDatabase()),
database_key=b"stuff",
)
d1 = runner.cached_test_function([0]).as_result()
d2 = runner.cached_test_function([1]).as_result()
assert dominance(d1, d2) == DominanceRelation.LEFT_DOMINATES
def test_includes_right_hand_side_targets_in_dominance():
def test(data):
if data.draw_bits(8):
data.target_observations[""] = 10
runner = ConjectureRunner(
test,
settings=settings(TEST_SETTINGS, database=InMemoryExampleDatabase()),
database_key=b"stuff",
)
d1 = runner.cached_test_function([0]).as_result()
d2 = runner.cached_test_function([1]).as_result()
assert dominance(d1, d2) == DominanceRelation.NO_DOMINANCE