You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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 theesbmc_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 inconfig.py
.The goal of this issue is to make ESBMC-AI more self-contained and less reliable on config files internally.
The text was updated successfully, but these errors were encountered: