Skip to content

ESBMC does not support setting entry point for binary #4

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
Open
rafaelsamenezes opened this issue Dec 3, 2024 · 0 comments
Open

ESBMC does not support setting entry point for binary #4

rafaelsamenezes opened this issue Dec 3, 2024 · 0 comments
Labels
esbmc Issues that might require touching ESBMC
Milestone
First Contract

Comments

@rafaelsamenezes
Copy link
Owner

rafaelsamenezes commented Dec 3, 2024 •
edited
Loading

Should be solved by ESBMC itself: esbmc/esbmc#2175
@rafaelsamenezes rafaelsamenezes added the esbmc Issues that might require touching ESBMC label Dec 3, 2024
@rafaelsamenezes rafaelsamenezes added this to the First Contract milestone Dec 3, 2024
@rafaelsamenezes rafaelsamenezes mentioned this issue Dec 3, 2024
Closed
6 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
esbmc Issues that might require touching ESBMC
Projects
None yet
Milestone
First Contract
Development

No branches or pull requests
1 participant
@rafaelsamenezes