-
Erwan Jahier authored
Parent-Version: 1.16 Version-Log: source/env_state.ml Fix several bugs in the way automata run in parallel were handled. (actually, i knew that this feature was broken). Also add support to handle cases where the same variable has several min (take the max), max (take the min), alias, default, init (abort) option values. I am not sure if i should authorize that for min and max though. Project-Description: Lurette
06abf72c