finalized constraint tests