Invert --no-fallback-simplify and --no-post-exec-simplify (new default: no simplification) - #4011

Invert --no-fallback-simplify and --no-post-exec-simplify (new default: no simplification)#4011

jberthold wants to merge 3 commits into

masterruntimeverification/haskell-backend:masterfrom

HOTFIX-invert-proxy-simplify-optionsruntimeverification/haskell-backend:HOTFIX-invert-proxy-simplify-optionsCopy head branch name to clipboard