mozilla / self-repair-server

This project is now EOL, replaced by Normandy Recipe Server.
6 stars 11 forks source link

Prove / lint that filters are in a 'restrictive' order. #233

Closed gregglind closed 8 years ago

gregglind commented 8 years ago

Claim: showing that the survey deployment rules are in a topo sorted order is the best we can do here.

Complications: regexes, probabilities, etc. We cant show if geo=us or channel=release is more restrictive without probabilities. we can say they are indeterminate