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.

Sign up for GitHub

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

Jump to bottom

Figure out where should_skip_current_fnshould go #424

Closed
danielsn opened this issue Aug 12, 2021 · 1 comment · Fixed by #1898
Closed

Figure out where should_skip_current_fnshould go #424

danielsn opened this issue Aug 12, 2021 · 1 comment · Fixed by #1898
Assignees
@celinval
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.

Comments

@danielsn
Copy link
Contributor

I've moved it to function.rs which is where its used. But that doesn't really satisfy the principle of least surprise.
@danielsn danielsn mentioned this issue Aug 12, 2021
Merged
4 tasks
@tedinski tedinski added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Nov 14, 2022
@tedinski
Copy link
Contributor

We should probably try again to eliminate it entirely at this point.

@celinval celinval self-assigned this Nov 15, 2022
celinval added a commit to celinval/kani-dev that referenced this issue Nov 15, 2022
@celinval
Remove skip_codegen_function
bd4be4a 
Fixes model-checking#424
Fixes model-checking#202
Fixes model-checking#282

Related to model-checking#1553
@celinval celinval mentioned this issue Nov 15, 2022
Merged
4 tasks
@tedinski tedinski moved this to Done in Kani 0.15 Nov 15, 2022
@github-actions github-actions bot mentioned this issue Feb 11, 2025
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@celinval celinval

Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.
Projects
No open projects
Kani 0.15
Status: Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove skip_codegen_function celinval/kani-dev
3 participants
@tedinski @danielsn @celinval