Method toString

src/main/java/pascal/taie/util/Timer.java:72–76

()

    }

    @Override
    public String toString() {
        return String.format("[%s] elapsed time: %.2fs",
                name, inSecond());
    }

    /**
     * Runs a task, log the elapsed time, and return the result.