-
-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Leap Seconds for GPST are wrong #288
Comments
Hi there, I will look into this tonight. From the report, it does look like a bug. I can't seem to reproduce it right now from Python, but it may be because it uses a different code path. |
Sorry for the delay. So, there's definitely a bug because we don't use the correct duration in the proper time scale when printing, cf. https://github.com/nyx-space/hifitime/blob/master/src/epoch.rs#L2885 . That said, even when fixing this, I get the following output for your use case:
I'm picking up work on #280 which I suspect will fix the issue by itself because we don't do unnecessary time scale changes anymore. It'll be released as part of version 4 of hifitime since it's a pretty significant change. |
Thank you for considering this. Looking forward to version 4! |
Hi there! Just to let you know that I've fixed this bug for version 4.0.0-alpha. I'm racing to get that published soon. |
My code:
I expected to see 18 leap seconds between UTC and GPST but what I got, were 37 leap seconds. 37 leap seconds are required between TAI and UTC.
The output running in debug (
cargo run
):In Release it looks different but not significant better (
cargo run --release
)Can someone reproduce this? Maybe I do just a bad mistake or misunderstand the API?
Assuming, that it is a bug, I looked into the code, trying to find an easy fix but I assume that this requires the attention of someone with a more general understanding of the
epoch.rs
module.Edit:
Using
rustc 1.76.0
hifitime = "3.9.0"
The text was updated successfully, but these errors were encountered: