rm non-verax-tests.sh