-
Notifications
You must be signed in to change notification settings - Fork 213
Write checkpoints to Checkpoints/ directory #5079
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
Write checkpoints to Checkpoints/ directory #5079
Conversation
knelli2
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Small thing
| ExpectedOutput: | ||
| - SpectreCheckpoint000000 | ||
| - Checkpoints/Checkpoint_000000 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Too many zeros?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fixed. There's a bug in the CMake testing code that I'll try to fix in a separate PR. Edit: #5080
c2d0648 to
e5e6399
Compare
|
@wthrowe could you take this one as well? |
|
Approved, but needs a rebase. |
e5e6399 to
693dadf
Compare
|
done |
Proposed changes
Preparation for #4996.
Upgrade instructions
Checkpoints are now written in the format
Checkpoints/Checkpoint_0123.Code review checklist
make docto generate the documentation locally intoBUILD_DIR/docs/html.Then open
index.html.code review guide.
bugfixornew featureif appropriate.Further comments