It would be useful to have a CLI option that allows the user to prohibit the execution of certain static analyses.
This will allow us to have much more analyses in the interpreter, which will only be enabled when the user explicitly enables it, and will not be executed by default, e.g. when running Scilla code. So they won't slow down the execution.
It would be useful to have a CLI option that allows the user to prohibit the execution of certain static analyses.
This will allow us to have much more analyses in the interpreter, which will only be enabled when the user explicitly enables it, and will not be executed by default, e.g. when running Scilla code. So they won't slow down the execution.