def test_validate_known_bad_trajectory(env: LlvmEnv, state): env.apply(state) for _ in range(VALIDATION_FLAKINESS): result = env.validate() if result.okay(): pytest.fail( "Validation succeeded on state where it should have failed")
def test_validate_known_good_trajectory(env: LlvmEnv, state): env.apply(state) for _ in range(VALIDATION_FLAKINESS): result = env.validate() if not result.okay(): pytest.fail(f"Validation failed: {result}\n{result.dict()}")