stg-tud / MUBench

Other
54 stars 30 forks source link

Separate statistics scripts from pipeline #416

Open salsolatragus opened 6 years ago

salsolatragus commented 6 years ago

The statistics scripts are currently available as a subcommand of pipeline, which doesn't make much sense, semantically. Maybe it would make sense to separate them into a dedicated dataset command?