From 4478b723f2910bbe772071944032ee59787738a0 Mon Sep 17 00:00:00 2001
From: Evgeny Ukhanov <evgeny@aurora.dev>
Date: Sat, 27 Jan 2024 14:02:22 +0100
Subject: [PATCH] Fix Execution. Add CI

---
 .github/workflows/dotnet.yml | 28 ++++++++++++++++++++++++++++
 ExecuteI.fs                  |  4 ++--
 2 files changed, 30 insertions(+), 2 deletions(-)
 create mode 100644 .github/workflows/dotnet.yml

diff --git a/.github/workflows/dotnet.yml b/.github/workflows/dotnet.yml
new file mode 100644
index 0000000..92bdb61
--- /dev/null
+++ b/.github/workflows/dotnet.yml
@@ -0,0 +1,28 @@
+# This workflow will build a .NET project
+# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-net
+
+name: .NET
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+      - name: Setup .NET
+        uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: 8.0.x
+      - name: Restore dependencies
+        run: dotnet restore
+      - name: Build
+        run: dotnet build --no-restore
+      - name: Test
+        run: dotnet test --no-build --verbosity normal
diff --git a/ExecuteI.fs b/ExecuteI.fs
index eaf93c7..dc705e4 100644
--- a/ExecuteI.fs
+++ b/ExecuteI.fs
@@ -439,8 +439,8 @@ let Execute (instr : InstructionI) (mstate : MachineState) =
         execAND i.rd i.rs1 i.rs2 mstate
     | FENCE _ ->
         execFENCE mstate
-    | ECALL _ ->
+    | ECALL ->
         execECALL mstate
-    | EBREAK _ ->
+    | EBREAK ->
         execEBREAK mstate
     | _ -> mstate.setRunState (Trap InstructionExecute)