Applying changes for 3rd benchmark (wildcard addresses) in IoTMaster
[iot2.git] / localconfig / iotpolicy / EspSprinkler / sprinklersmart.req
1
2 requires Sprinkler with Initialize, Zone as interface SprinklerSmart;
3