Get timer as a floating-point type instead of an integer (#527)

alxbilger · web-flow · commit de06d70fbdc7 · 2025-08-25T16:55:39.000+02:00
diff --git a/bindings/SofaRuntime/src/SofaPython3/SofaRuntime/Timer/Submodule_Timer.cpp b/bindings/SofaRuntime/src/SofaPython3/SofaRuntime/Timer/Submodule_Timer.cpp
@@ -40,7 +40,7 @@ py::dict getRecords(const std::string & id) {
     static auto timer_freq = CTime::getTicksPerSec();
     auto getTime = [](ctime_t t)
     {
-        return 1000 * t / timer_freq;
+        return 1000. * t / timer_freq;
     };
 
     const auto records = AdvancedTimer::getRecords(id);

Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,7 @@ py::dict getRecords(const std::string & id) {`
`40`	`40`	`static auto timer_freq = CTime::getTicksPerSec();`
`41`	`41`	`auto getTime = [](ctime_t t)`
`42`	`42`	`{`
`43`		`- return 1000 * t / timer_freq;`
	`43`	`+ return 1000. * t / timer_freq;`
`44`	`44`	`};`
`45`	`45`
`46`	`46`	`const auto records = AdvancedTimer::getRecords(id);`