-
-
Notifications
You must be signed in to change notification settings - Fork 4
Fix Code Mode
Yiannis Charalambous edited this page Jan 18, 2024
·
2 revisions
TODO
Scenarios are how dynamic prompting is implemented in ESBMC-AI. Dynamic prompting allows for ... Scenarios describe the current error and system message to use.
ESBMC-AI made by Yiannis Charalambous
• https://yiannis-charalambous.com • https://github.com/Yiannis128 •