Skip to content
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

Crater log of "current run" always begins with "previous run" #728

Open
RalfJung opened this issue May 9, 2024 · 0 comments
Open

Crater log of "current run" always begins with "previous run" #728

RalfJung opened this issue May 9, 2024 · 0 comments

Comments

@RalfJung
Copy link
Member

RalfJung commented May 9, 2024

See for instance this report: it seems that the log of a "current run", such as this, is actually the concatenation of the log for the previous run and the current run. That's quite confusing, and it's also new -- in the past, "current run" was just the current run.

@RalfJung RalfJung changed the title Crater log of "Current run" always beings with "previous run" Crater log of "current run" always beings with "previous run" May 9, 2024
@RalfJung RalfJung changed the title Crater log of "current run" always beings with "previous run" Crater log of "current run" always begins with "previous run" May 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant