Skip to content

Replace most uses of quanta::Instant with std::time::Instant to increase the accuracy of time measurements #623

Replace most uses of quanta::Instant with std::time::Instant to increase the accuracy of time measurements

Replace most uses of quanta::Instant with std::time::Instant to increase the accuracy of time measurements #623

run-kani

succeeded Jan 5, 2025 in 46s