Provide a more ergonomic way of setting arguments and working directory (#7)

Author: danielsn

.github/workflows/test-action.yml

@@ -15,4 +15,4 @@ jobs:
       - name: Run Kani
         uses: ./ # Uses the action in the root directory
         with:
-          command: cd tests/cargo-kani/simple-lib && cargo-kani
+          working-directory: tests/cargo-kani/simple-lib

action.yml

@@ -13,20 +13,29 @@ inputs:
   command:
     description: 'Command to run.'
     required: false
-    default: 'cargo-kani --workspace'
+    default: 'cargo-kani'
+  working-directory:
+    description: 'Directory to run kani on.'
+    required: false
+    default: '.'
+  args:
+    description: 'Arguments to pass to kani.'
+    required: false
+    default: ''
 
 runs:
   using: "composite"
   steps:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.13.0"; \
-        cargo install --version $KANI_VERSION --locked kani-verifier; \
+        export KANI_VERSION="0.13.0";
+        cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;
 
     - name: Run Kani
       shell: bash
       run: | 
-        ${{ inputs.command }}
+        cd ${{ inputs.working-directory }};
+        ${{ inputs.command }} ${{ inputs.args }}