diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index bd6f937..bcfd5a5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -35,9 +35,10 @@ jobs:
 
       - name: Run example tests
         run: |
-          ./rv example counter test
-          ./rv example counter invariant
-          ./rv example cargo test
-          ./rv example cargo invariant
-          ./rv example reverse test
-          ./rv example slice test
+          cd example
+          ../rv . counter test
+          ../rv . counter invariant
+          ../rv . cargo test
+          ../rv . cargo invariant
+          ../rv . reverse test
+          ../rv . slice test