Violation.str test