SPARKClean User Manual
SPARK Team
1. Synopsis
1.1. Command-line syntax
1.2. Examples
2. Limitations

1 Synopsis

SPARKClean is small utility to delete files generated by the SPARK toolset. It can either delete all such files or only a specific subset.

1.1 Command-line syntax

sparkclean [OPTION]...
Note that by default all files are deleted. If one or more options are specified, only the selected files are deleted.

1.2 Examples

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

2 Limitations

Several Examiner command-line options (for example -listing=ls_) affect the names of files generated - SPARKClean only supports the default extensions at the moment.