Description
When the analysis is skipped (i.e., no interprocedural analysis or abstract state set), the execution ends without properly dumping support files (e.g., scripts for the html visualization tool).