dependnecies install

Goblin57 · Aug 8, 2024 · 7334b12 · 7334b12
1 parent 5561d45
commit 7334b12
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 4 deletions.
diff --git a/.github/workflows/test_workflow.yml b/.github/workflows/test_workflow.yml
@@ -6,7 +6,15 @@ jobs:
   esbmc-test:
     runs-on: ubuntu-latest
     steps:
-      - name: run-esbmc-action
+      - name: install dependencies
+        run: |
+          wget -O libevent.zip https://github.com/libevent/libevent/releases/download/release-2.1.12-stable/libevent-2.1.12-stable.tar.gz
+          unzip -o libevent.zip
+          wget -O ncurses.zip https://invisible-mirror.net/archives/ncurses/ncurses-6.5.tar.gz
+          unzip -o ncurses.zip
+          ls
+      
+      - name: run esbmc action
         uses: esbmc/esbmc-action@v1
         with:
           esbmc-options: --incremental-bmc --include-file tmux.h

diff --git a/cmd-rename-window.c b/cmd-rename-window.c
@@ -1,4 +1,4 @@
-// Test with ESBMC action.
+// Test with ESBMC action
 /* $OpenBSD$ */
 
 /*

diff --git a/file.c b/file.c
@@ -1,4 +1,4 @@
-// Test with ESBMC action.
+// Test with ESBMC action
 /* $OpenBSD$ */
 
 /*

diff --git a/layout.c b/layout.c
@@ -1,4 +1,4 @@
-// Test with ESBMC action.
+// Test with ESBMC action
 /* $OpenBSD$ */
 
 /*