More printing of the halmos version

Note: during CI builds, we only perform a sparse checkout so we expect the printed version to be slightly wonky, e.g. `halmos 0.1.dev1+g81b7ae5` (base tag is wrong, number of commits ahead is wrong, but git hash is correct) For released images, we expect the version string to be correct (e.g. `halmos 0.1.14`)
a16z · Jul 19, 2024 · ac2848e · ac2848e
1 parent 7fd8d43
commit ac2848e
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 4 deletions.
diff --git a/.github/workflows/publish-halmos-package.yml b/.github/workflows/publish-halmos-package.yml
@@ -39,6 +39,9 @@ jobs:
       - name: Build image
         run: docker build . --file packages/halmos/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"
 
+      - name: Print halmos version
+        run: docker run $IMAGE_NAME --version
+
       - name: Push image
         run: |
           IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME

diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -86,7 +86,7 @@ jobs:
           submodules: recursive
 
       - name: Print halmos version
-        run: docker run -v .:/workspace halmos-image --version
+        run: docker run halmos-image --version
 
       - name: Test external repo
         run: docker run -v .:/workspace halmos-image ${{ matrix.project.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 4 ${{ matrix.cache-solver }} ${{ inputs.halmos-options }}

diff --git a/.github/workflows/test-ffi.yml b/.github/workflows/test-ffi.yml
@@ -37,7 +37,7 @@ jobs:
           docker build -t halmos-image . --file packages/halmos/Dockerfile
 
       - name: Print halmos version
-        run: docker run -v .:/workspace halmos-image --version
+        run: docker run halmos-image --version
 
       - name: Run pytest
         run: docker run -v .:/workspace --entrypoint pytest halmos-image -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="--ffi -v -st --solver-timeout-assertion 0"
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -46,7 +46,7 @@ jobs:
           docker build -t halmos-image . --file packages/halmos/Dockerfile
 
       - name: Print halmos version
-        run: docker run -v .:/workspace halmos-image --version
+        run: docker run halmos-image --version
 
       - name: Run pytest
         run: |

diff --git a/tests/lib/forge-std b/tests/lib/forge-std
+0 −1		.gitattributes
+12 −6		.github/workflows/ci.yml
+1 −3		.github/workflows/sync.yml
+3 −0		.gitmodules
+1 −1		README.md
+3 −3		foundry.toml
+1 −0		lib/ds-test
+1 −1		package.json
+0 −635		scripts/vm.py
+1 −1		src/Script.sol
+225 −518		src/StdAssertions.sol
+11 −32		src/StdChains.sol
+2 −14		src/StdCheats.sol
+3 −24		src/StdInvariant.sol
+25 −25		src/StdJson.sol
+98 −240		src/StdStorage.sol
+0 −179		src/StdToml.sol
+33 −61		src/StdUtils.sol
+5 −4		src/Test.sol
+378 −1,615		src/Vm.sol
+0 −234		src/mocks/MockERC20.sol
+0 −235		src/mocks/MockERC721.sol
+898 −44		test/StdAssertions.t.sol
+41 −47		test/StdChains.t.sol
+48 −64		test/StdCheats.t.sol
+11 −13		test/StdError.t.sol
+0 −49		test/StdJson.t.sol
+10 −10		test/StdMath.t.sol
+44 −214		test/StdStorage.t.sol
+4 −4		test/StdStyle.t.sol
+0 −49		test/StdToml.t.sol
+30 −30		test/StdUtils.t.sol
+0 −15		test/Vm.t.sol
+0 −8		test/fixtures/test.json
+0 −6		test/fixtures/test.toml
+0 −441		test/mocks/MockERC20.t.sol
+0 −721		test/mocks/MockERC721.t.sol