Delete test_microcoverage_ex2.jl