gapt.utils.time.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.utils
object time {
private val nLine = sys.props("line.separator")
def apply[T](f: => T): T = {
val start = java.lang.System.currentTimeMillis()
val r = f
println(nLine + "time: " + (java.lang.System.currentTimeMillis() - start) + " ms" + nLine)
r
}
}