From d464784c9fa199fced0da14b79562c89135aa318 Mon Sep 17 00:00:00 2001
From: Elizabeth Gilbert <evgilber@andrew.cmu.edu>
Date: Fri, 3 May 2024 16:56:02 -0400
Subject: [PATCH] try different binary setup package

---
 .github/workflows/rust.yml | 13 +++++++++----
 tests/integration_test.rs  |  1 +
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index e74466ff..c8976bc1 100644
--- a/.github/workflows/rust.yml
+++ b/.github/workflows/rust.yml
@@ -16,11 +16,16 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - uses: supplypike/setup-bin@v4
+#    - uses: supplypike/setup-bin@v4
+#      with:
+#        uri: 'https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz'
+#        name: 'wabt'
+#        version: '1.0.34'
+    - uses: plinioh/setup-binary-action@v1.0.0
       with:
-        uri: 'https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz'
-        name: 'wabt'
-        version: '1.0.34'
+        binaryName: wasm2wat
+        binaryUrl: https://github.com/WebAssembly/wabt/releases/download/1.0.34/wabt-1.0.34-ubuntu.tar.gz
+        binaryPathInArchive: wabt-1.0.34/bin/wasm2wat
     - name: Build
       run: cargo build --verbose
     - name: Run tests
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
index 99a55115..7b20ab4d 100644
--- a/tests/integration_test.rs
+++ b/tests/integration_test.rs
@@ -84,6 +84,7 @@ fn instrument_with_fault_injection() {
                 if !code.success() {
                     assert!(false, "`wasm2wat` verification check failed!");
                 }
+                assert!(true);
             }
             Err(err) => {
                 error!("{}", err.to_string());