The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Questions tagged [smtchecker]

SMTChecker is a formal verification module built into the Solidity compiler.

Filter by
Sorted by
Tagged with
4
votes
1answer
123 views

What is SMTChecker used for in Solidity?

From the solidity docs: If you use pragma experimental SMTChecker;, then you get additional safety warnings which are obtained by querying an SMT solver. The component does not yet support all ...