Improve error message on missing ai_function docstring
zhudotexe opened this issue · 0 comments
zhudotexe commented
Currently, if an ai_function is missing a docstring, Kani does not enforce that one must exist. This causes 400 errors when making requests to OpenAI and is probably unintended. We should raise a nicer error (or at least a warning) on init.