From 1a3d32c0af035646a8b1425cd9742537494ad969 Mon Sep 17 00:00:00 2001 From: Federico Poli Date: Thu, 29 Feb 2024 10:49:50 +0100 Subject: [PATCH] Debug coverage workflow --- .github/workflows/coverage.yml | 30 ++++++++++++++++++++++++++---- 1 file changed, 26 insertions(+), 4 deletions(-) diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index 2d2a5461c90..da0bc394e37 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -38,21 +38,37 @@ jobs: echo "RUSTFLAGS=-Cinstrument-coverage" >> $GITHUB_ENV echo "LLVM_PROFILE_FILE=${GITHUB_WORKSPACE}/target/coverage/gcov-%p-%m.profraw" >> $GITHUB_ENV + - name: Report disk usage + run: df -h + - name: Build with cargo run: python x.py build --all - - name: Run cargo tests - run: python x.py test --all + - name: Report disk usage + run: df -h + + - name: Clear coverage generated by prusti-contracts-build + run: rm -rf target/coverage + + - name: Report disk usage + run: df -h + + - name: Run quick cargo tests + run: python x.py test --all quick + + - name: Report disk usage + run: df -h - name: Rerun quick cargo tests, enabling debug dumps to cover more code - # Disabled because it causes CI to run out of disk space - if: false run: python x.py test quick env: PRUSTI_DUMP_DEBUG_INFO: true PRUSTI_DUMP_VIPER_PROGRAM: true PRUSTI_IGNORE_REGIONS: true + - name: Report disk usage + run: df -h + - name: Check prusti-contracts run: | cd prusti-contracts/prusti-contracts-test/ @@ -61,6 +77,12 @@ jobs: - name: Report disk usage run: df -h + - name: Run cargo tests + run: python x.py test --all + + - name: Report disk usage + run: df -h + - name: Collect coverage run: | curl -sL https://github.com/mozilla/grcov/releases/latest/download/grcov-x86_64-unknown-linux-gnu.tar.bz2 | tar jxf -