HintCO/HintCOEngine/examples/case_study_contract_proactive.contractlang

Root ContractSet "example" {
	contracts {
		Contract controller {
			description "Software Controller"
			statements {
				Property "ctrl" FMUProperty FMUInstance "CtrlProactive" exec_rate == 100000
			}
			scope Globally
			pattern Universality:always-the-case-that "ctrl" holds
		}
	}
}