systematic testing engine now gives a proper error if the testing entry point was not declared properly
systematic testing engine now gives a proper error if the testing entry point was not declared properly

p-org/PSharp