Closed sglyon closed 9 years ago
Minor change to record time for execution immediately after running core instead of after computing/push!ing GC stats.
core
push!
Seems reasonable to me.
We should keep an eye on the guts of Bases's time macro, where a lot of this was lifted from.
:notebook: (noted)
Minor change to record time for execution immediately after running
core
instead of after computing/push!
ing GC stats.