Are the model_checker config options all snake_case?

[PaulRBerg]

It is not clear from the example config shown in the README whether the SMT model checker configuration options are all snake_case, or they follow the standard camelCase of the Solidity standard JSON?

This is what it is currently shown in the README:

[profile.default.model_checker]
contracts = { 'src/Contract.sol' = [ 'Contract' ] }
engine = 'chc'
timeout = 10000
targets = [ 'assert' ]

But there are other config options that are made up of multiple words, e.g. showUnproved. Should this be written like this:

[profile.default.model_checker]
showUnproved = true

Or like this?

[profile.default.model_checker]
show_unproved = true

I can't quite tell which way works because I am still grappling with the SMTChecker.

[PaulRBerg]

It turns out that the showUnproved setting is not even available yet. Foundry uses the ModelCheckerSettings struct defined in ethers-rs, which defines neither show_unproved or showUnproved.

Update: thanks to GitHub user @wiasliaw, there is now support for show_unproved in the ModelCheckerSetings struct:

gakonst/ethers-rs#2147