Add an option to reject/log Smtlib inputs with illegal commands#630

Draft

daniel-raffler wants to merge 9 commits intomasterfrom

exhaustiveTokenizer

Commits on Mar 25, 2026

Throw an exception when the tokenizer encounters an unknown Smtlib command
daniel-raffler
committed
Boolector: Disable two parsing tests
daniel-raffler
committed

Commits on Mar 27, 2026

Add an option to decide how unknown commands should be handled while parsing
daniel-raffler
committed

Commits on Mar 28, 2026

Move option for parse errors to `solver.parser`
daniel-raffler
committed