Skip to content

Add SMT Unknown Error - #6

Open
rcosta358 wants to merge 2 commits into
mainfrom
codex/document-smt-unknown-error
Open

rcosta358 wants to merge 2 commits into
mainfrom
codex/document-smt-unknown-error

Conversation

@rcosta358

Copy link
Copy Markdown
Collaborator

Description

Add SMTUnknownError to the error table and explain that the diagnostic includes the reason as a hint.

Validation: Jekyll build and git diff --check pass. Independent review found no issues.

Related Issues

Related verifier change: liquid-java/liquidjava#330.

🤖 Generated with Codex

Co-authored-by: Codex <codex@openai.com>
@rcosta358 rcosta358 added the documentation Improvements or additions to documentation label Oct 5, 2026
@rcosta358 rcosta358 changed the title Document SMT unknown errors Add SMT Unknown Error Oct 5, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant