Delete while_test-syn