Actions
Task #5978
closedOptions related to splitting instruction stream into parts
Start date:
05/25/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
150529
Description
code-file-extension
The output file extensioncode-file-prefix
The output file prefix (file names are as followsprefix_xxxx.ext
, wherexxxx
is a 4-digit decimal number)data-file-extension
The data file extensiondata-file-prefix
The data file prefixprogram-length-limit
The maximum number of instructions in output programstrace-length-limit
The maximum length of execution traces of output programs
Actions