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)