SPARKClean is small utility to delete files generated by the SPARK toolset. It can either delete all such files or
only a specific subset.
sparkclean [OPTION]...
Note that by default all files are deleted. If one or more options are specified, only the selected files are
deleted.
Delete all files generated by the SPARK toolset:
$ sparkclean
Delete only POGS summaries:
$ sparkclean -pogs
Delete everything except for what the Examiner generated:
$ sparkclean -simplifier -victor -pogs