batch folder

Batch Folders

Batch folders are directories created by generate command that was run with -batch optional argument. Their name and location is specified in first argument of generate command.

Structure and contents

Batch folders obey following structure:

batch-folder /
/problems batch-info.json | | | packaged-problem-0.json packaged-problem-1.json packaged-problem-2.json