Scenario: Constraint No-Solution

Scenario

A transaction class randomizes reliably in directed tests, but constrained-random regressions start failing with no-solution messages after incremental feature constraints are added.

What to observe

Sharp increase in randomize failure percentage for specific scenario knobs and seed ranges.

Common traps

• Debugging solver internals before checking contradictory implication constraints.

• Using broad soft constraints that silently mask intent until override order changes.

• Disabling failing constraints globally instead of minimizing and proving satisfiability.

Related topics

• Back to Interview Prep