HintCO/HintCOEngine/examples/watertanks_ctrl.contractlang

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