running non-verax tests