Signed-off-by: Jean Privat <jean@pryen.org>
if toolcontext.opt_erasure.value then
modelbuilder.run_separate_erasure_compiler(mainmodule, analysis)
if toolcontext.opt_erasure.value then
modelbuilder.run_separate_erasure_compiler(mainmodule, analysis)
-else if toolcontext.opt_separate.value then
- modelbuilder.run_separate_compiler(mainmodule, analysis)
-else
+else if opt_global.value then
modelbuilder.run_global_compiler(mainmodule, analysis)
modelbuilder.run_global_compiler(mainmodule, analysis)
+else
+ modelbuilder.run_separate_compiler(mainmodule, analysis)