# Configuration file for the translator from RoboChart to PRISM DBG_OPTION=true ERROR_LOG_FILE=rc.log INT_MAX=100 INT_MIN=-1 MAX_SEQ_INS=4 NAT_MAX=100 NAT_MIN=0 OUTPUT_LOG_FILE=rc.log PRISM_MODELTYPE=dtmc TYPE_OVERRIDE=steps : [0..MAX],x : [1..M],y : [1..N],[STM]recorder.v : [0..1],[CTRL]left_rightC.x : [0..1] USE_CONF_FROM_INSTANTIATION_CSP=false