# Configuration file for the translator from RoboChart to PRISM DBG_OPTION=true ERROR_LOG_FILE= INT_MAX=100 INT_MIN=-100 MAX_SEQ_INS=30 NAT_MAX=100 NAT_MIN=0 OUTPUT_LOG_FILE= PRISM_MODELTYPE=mdp TYPE_OVERRIDE= USE_CONF_FROM_INSTANTIATION_CSP=false