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.

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

Decouple Config from underlying systems #139

Closed
Yiannis128 opened this issue Jul 22, 2024 · 0 comments · Fixed by #146
Closed

Decouple Config from underlying systems #139

Yiannis128 opened this issue Jul 22, 2024 · 0 comments · Fixed by #146
Assignees

Comments

@Yiannis128
Copy link
Collaborator

Config should be used by main.py only and all underlying systems should accept config as parameters. This should make calling the esbmc_ai module easier from existing Python code. It would effectively allow the esbmc_ai module to be used as a Python library. In current experiments, ESBMC-AI had to be invoked as a command-line tool as it would be a challenging task to manually set all the options in config.py.

The goal of this issue is to make ESBMC-AI more self-contained and less reliable on config files internally.

@Yiannis128 Yiannis128 self-assigned this Jul 22, 2024
@Yiannis128 Yiannis128 linked a pull request Sep 15, 2024 that will close this issue
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 a pull request may close this issue.

1 participant