Task #5978
Updated by Alexander Kamkin over 9 years ago
# @code-file-extension@ @output-file-extension@ The output file extension # @code-file-prefix@ @output-file-prefix@ The output file prefix (file names are as follows @prefix_xxxx.ext@, where @xxxx@ is a 4-digit decimal number) # @data-file-extension@ The data file extension # @data-file-prefix@ The data file prefix # @program-length-limit@ The maximum number of instructions in output programs # @trace-length-limit@ The maximum length of execution traces of output programs