add runSemanticTest.sh