constraints tests