solidity icon indicating copy to clipboard operation
solidity copied to clipboard
verified publisher icon ethereum

[SMTChecker] Remove SMTChecker pragma

Open blishko opened this issue 11 months ago • 0 comments

As described in the note in the documentation, since version 0.8.5, the model checker got its own command-line/JSON options, and pragma experimental SMTChecker has been deprecated. It should be removed in 0.9.

blishko avatar Feb 17 '25 13:02 blishko