Built-in Commands

The following commands are built-in to ESBMC-AI.

• help: Print this help message.
• help-config: Print information about the config fields.
• list-models: Lists all available AI models.
• exit: Exit the program.
• fix-code: Generates a solution for this code, and re-evaluates it with ESBMC. Very basic and should only be used for testing/demonstration purposes.