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

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

daniel-raffler wants to merge 9 commits into

mastersosy-lab/java-smt:masterfrom

exhaustiveTokenizersosy-lab/java-smt:exhaustiveTokenizerCopy head branch name to clipboard