script to run a basic correctness test