Merge pull request #98 from Yiannis128/dynamic-prompt

Dynamic Prompting
esbmc · Feb 11, 2024 · dd15533 · dd15533
2 parents b048ebd + 1710e10
commit dd15533
Show file tree

Hide file tree

Showing 56 changed files with 2,374 additions and 3,433 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -25,9 +25,9 @@ jobs:
         run: |
           pipenv install --deploy --dev
 
-      - name: Pylint on esbmc_ai_lib
+      - name: Pylint on esbmc_ai
         run: |
-          pipenv run pylint esbmc_ai_lib
+          pipenv run pylint esbmc_ai
 
   test:
     name: PyTest