Skip to content

Conversation

@Akshara1817
Copy link

Added a third parameter to the load_config_fields function to parse a
PurePath string. this parameter is given a default value of None. A dictionary mapping escape sequenced to their hexadecimal values has been made to parse filepaths correclty.

@Yiannis128
Copy link
Collaborator

But why did you add a separate field instead of fixing the cfg_path if there's a bug?

@github-actions
Copy link

github-actions bot commented Sep 24, 2025

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@Akshara1817
Copy link
Author

I accept and agree to the terms and conditions of the Contributor License Agreement for my present and future contributions submitted to ESBMC-AI.

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 this pull request may close these issues.

2 participants