esbmc-ai icon indicating copy to clipboard operation
esbmc-ai copied to clipboard
verified publisher icon esbmc

ESBMC-AI Unit Tests

Open Yiannis128 opened this issue 1 year ago • 0 comments

Unit tests need to be written for each subsystem to ensure that ESBMC-AI continues to function as intended.

The following areas are identified:

  • [ ] BaseConfig
  • [ ] Config https://github.com/esbmc/esbmc-ai/issues/145
  • [ ] AddonLoader https://github.com/esbmc/esbmc-ai/issues/158
  • [ ] AIModel
  • [ ] CommandRunner
  • [ ] Solution
  • [ ] ESBMC

Yiannis128 avatar Feb 07 '25 16:02 Yiannis128