Project

General

Profile

Task #5978

Updated by Alexander Kamkin almost 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

Back