Closed Nadrieril closed 4 weeks ago
This improves the logging setup to in particular include timing information for functions annotated with #[tracing::instrument]. To get these logs, call charon with RUSTC_LOG=charon.
#[tracing::instrument]
RUSTC_LOG=charon
This improves the logging setup to in particular include timing information for functions annotated with
#[tracing::instrument]
. To get these logs, call charon withRUSTC_LOG=charon
.