Include test

Goblin57 · Aug 7, 2024 · 26c6ee8 · 26c6ee8
1 parent b8cf7bf
commit 26c6ee8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -9,5 +9,5 @@ jobs:
       - name: run-esbmc-action
         uses: esbmc/esbmc-action@v1
         with:
-          esbmc-options: --incremental-bmc --include *
+          esbmc-options: --incremental-bmc --include **/*.h
 
diff --git a/modules/mux/mpeg/repack.c b/modules/mux/mpeg/repack.c
@@ -1,4 +1,4 @@
-// To be used with action 2.
+// To be used with action 2
 /*****************************************************************************
  * repack.c: Codec specific formatting for AnnexB multiplexers
  *****************************************************************************

diff --git a/src/text/url.c b/src/text/url.c
@@ -1,4 +1,4 @@
-// To be run with action 2.
+// To be run with action 2
 /*****************************************************************************
  * url.c: URL related functions
  *****************************************************************************