testing verifying the results of synthesis