Add violations tests; update test requirements