Nikhil Parasaram
Nikhil Parasaram
yes the timeouts were increased and I think it's hyperthreaded. Anyway, the latest develop branch should have the parallelisation option `--parallel-solving`
@ytrezq , it will take days to dump all the states because serializing z3 constraints and storage will make it huge. You can print the information you need in this...
storage is an SMT array, so it should be serialized.
storage access with symbolic indices need an SMT array for an accurate representation
Thanks for the suggestion @Ooqu4, Currently, the post-hook calls don't need a pre-state, so it might not be worth to add it at the moment, But if there is a...
Something similar to this is being done by @nbanmp I think. But it's a bit more generic.
It's tracked in a private board as it is related to MythX as a whole.
@nbanmp can fill you in on it.
can you try doing `python -c "import z3"`?
Hey @FranzHuebner thanks for the report. Currently we are not supporting transaction order dependence. We will support it soon. It's currently being tracked in #860 .