Delete Stump_test.v