Run CI example tests from the example folder

.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