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

Support Klee out-of-the-box #33

Open
mbg opened this issue Nov 15, 2021 · 1 comment
Open

Support Klee out-of-the-box #33

mbg opened this issue Nov 15, 2021 · 1 comment
Labels
delight Nice to haves!

Comments

@mbg
Copy link
Contributor

mbg commented Nov 15, 2021

It would be good to automatically generate entry points that are compatible with Klee. Alternatively, we could support generating a library of some form that can then be consumed from a C program. (Or both.)
@aquynh
Copy link
Contributor

aquynh commented Nov 15, 2021

yes, support for Klee can be specified via cmdline option?

the same can be done for the library idea.

@mbg mbg mentioned this issue Dec 1, 2021
Merged
@kk-hainq kk-hainq added the delight Nice to haves! label May 9, 2022
@mbg mbg removed their assignment Sep 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
delight Nice to haves!
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@mbg @kk-hainq @aquynh