Minor change for symExecTimeout comments

crytic / echidna

Ethereum smart contract fuzzer

GNU Affero General Public License v3.0

2.65k stars 346 forks source link

Closed samalws-tob closed 1 week ago

samalws-tob commented 1 week ago

As pointed out in #1216 :

symExecTimeout is actually per query in Z3 (but global in other solvers, afaik), I think it is better to clarify that.