project.opt

FormatVersion:2
DTC:1
PRE:1
POST:1
INV:1
CONTEXT:0
MAXINSTR:1000
PRIORITY:0
PRIMARYALGORITHM:instruction_number_slice
TASKSWITCH:0
MAXTIME:1000
TIMEFACTOR:1
STEPSIZE:100
JITTERMODE:Early
DEFAULTCPUCAPACITY:1000000
DEFAULTVCPUCAPACITY:0
LOGARGS:
PRINT_FORMAT:1
DEF:pos
errlevel:0
SEP:1
VDMSLMOD:0
INDEX:0
PrettyPrint_RTI:1
CG_RTI:0
CG_CHECKPREPOST:1
C_flag:0
JVG_SKEL:0
JCG_GENPREPOST:1
JCG_TYPES:0
JCG_SMALLTYPES:0
JCG_LONGS:0
JCG_PACKAGE:JavaProject/src/main
JCG_CONCUR:1
JCG_CHECKPREPOST:1
JCG_INTERFACES:
Seed_nondetstmt:-1
j2v_stubsOnly:0
j2v_transforms:0