# Configuration file for the translator from RoboChart to PRISM DBG_OPTION=true ERROR_LOG_FILE=err.log INT_MAX=7 INT_MIN=-2 MAX_SEQ_INS=30 NAT_MAX=7 NAT_MIN=0 OUTPUT_LOG_FILE=out.log PRISM_MODELTYPE=dtmc TYPE_OVERRIDE= USE_CONF_FROM_INSTANTIATION_CSP=false