Enable forge test

pcw109550 · pcw109550 · commit 207235d73b18 · 2024-02-08T14:19:21.000+09:00
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -20,9 +20,12 @@ jobs:
       - name: Build rv64g test binaries
         run: make bin bin/simple bin/minimal
         working-directory: tests/go-tests
-      - name: Run tests
+      - name: Run golang tests
         run: go test -v ./...
         working-directory: rvgo
+      - name: Run foundry tests
+        run: forge test -vvv
+        working-directory: rvsol
   # go-lint:
   #   runs-on: ubuntu-latest
   #   timeout-minutes: 20
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "rvsol/lib/forge-std"]
+	path = rvsol/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std
diff --git a/rvsol/lib/forge-std b/rvsol/lib/forge-std
@@ -0,0 +1 @@
+Subproject commit ae570fec082bfe1c1f45b0acca4a2b4f84d345ce

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+[submodule "rvsol/lib/forge-std"]`
	`2`	`+ path = rvsol/lib/forge-std`
	`3`	`+ url = https://github.com/foundry-rs/forge-std`