(assertion)
| 500 | |
| 501 | |
| 502 | def assertion_applies_to_real_model(assertion): |
| 503 | if assertion.get("deterministic_only"): |
| 504 | return False |
| 505 | phase = assertion.get("phase", "both") |
| 506 | return phase in ("both", "well-behaved-only", "real-model", "real-model-only") |
| 507 | |
| 508 | |
| 509 | def failed_assertion(assertion, error, error_type="assertion", **extra): |
no outgoing calls
no test coverage detected