Skip to content

Update staged verification test#349

Open
gussmith23 wants to merge 11 commits intomainfrom
gus/update-sim-and-verif-test
Open

Update staged verification test#349
gussmith23 wants to merge 11 commits intomainfrom
gus/update-sim-and-verif-test

Conversation

@gussmith23
Copy link
Contributor

What are the reasons/motivation for this change?

We wanted to make the example more complex to cover more edge cases and root out more tricky behavior.

Explain how this is achieved.

Adds another stage in the middle, and combines the previous init and prove stages for each stage. This forced the addition of a new prep phase.

@KrystalDelusion
Copy link
Member

Are these the changes made to the appnote?

@gussmith23
Copy link
Contributor Author

Yes! They should be https://yosyshq.readthedocs.io/projects/ap130/en/latest/

Comment on lines +18 to +19
mode prep
skip_prep on
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Isn't that an oxymoron? Is it just running the user script and nothing else?

Comment on lines +69 to +73
# Read the stage 1 checkpoint, and then use the stage 1 trace to simulate up
# to the end of stage 1.
# Note that, in stage 2, we do not use -noinitstate on sim, as this first
# simulation begins at t=0 and thus $initstate cells should be active. All
# future calls to sim should include -noinitstate.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Are these comments an abbreviated version of the appnote text? Is the intention to update the appnote code to match? It feels like having extra comments here would make it harder to maintain the appnote if we change this (though if the comments also exist in the source for the appnote they are just hidden in the code render please ignore this 😄)

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

Successfully merging this pull request may close these issues.

2 participants