Delete test_NEG_DETC.v