dxo

The consistency checking routine remains as described in the first comment, the restrictions simply ensure that it can always be easily solved.

hmmmm, the refined AST produced by the typechecker has a bunch of additional conditions attached to it by the `Enrich` phase. Wouldn't that mess up the mapping (i.e. the addresses...

hehe, I think I just hadn't fully understood your proposal :grinning: > I think that it should be relatively easy to find the subtree s in a simple AST which...

which link is broken?

In dapp we currently just dump the output from `formattedMessage` and don't apply any colorization (although I did just open a pr to differentiate between warning and error messages based...

Would be great to have SMTChecker enabled for linux static builds. I personally would also be happy to see it included in older versions (at least back until 0.6 or...

@cameel thanks for all the info! :sparkles: :pray: To make our use case clear: We have recently switched to using the static `solc` builds in dapptools, meaning that for recent...

Maybe you could use some magic modifiers that you pull out of the solidity AST at test time? The following could be interpreted as "fuzz `testTableSums`, always using the provided...

I guess it should also be possible to parse some custom natspec comments with a list of inputs?

how would we do that?