Invalid syntax can pass Validate if it's in part of an expression that is not evaluated

getodk / validate

ODK Validate is a Java application for confirming that a form is valid and compliant with the ODK XForms specification. Contribute and make the world a better place! ✨🔍✨

https://docs.getodk.org/validate/

Other

9 stars 26 forks source link

Invalid syntax can pass Validate if it's in part of an expression that is not evaluated #87

Open lognaturel opened 2 years ago

lognaturel commented 2 years ago

This limitation is described in the README at https://github.com/getodk/validate#how-validate-validates but I think it's worth calling out in an issue as well.

https://github.com/enketo/enketo/issues/1097 has another example of a form that passes Validate but has bad behavior because of an or or.