Control over output formats and files
Created by: sayanmitracode
Options to create outputs at different levels of verbosity. Storing the outputs (reachtubes, safe/unsafe results, counter-examples, plots) at appropriate places. Documentation for the same.