Too many program synthesis tools assume your spec is in a decidable format. They've had incredible results, but tests are way more general.