From a992c6f30d255f03427a1243b41c80a354d603f5 Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Thu, 4 May 2023 10:37:33 -0500 Subject: [PATCH 1/2] Use same perf tests for benchcomp in CI --- .github/workflows/kani.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index 2f19a5fb2c7d..7831ffa7c8aa 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -303,6 +303,9 @@ jobs: - name: Build Kani (old variant) run: pushd old && cargo build-dev + - name: Copy benchmarks form new to old + run: rm -rf ./old/tests/perf ; cp -r ./new/tests/perf ./old/tests/ + - name: Run benchcomp run: | new/tools/benchcomp/bin/benchcomp \ From 907e2c19dc5a5cb995c3d8e8ff4a46a8e69065a4 Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Thu, 4 May 2023 15:55:04 -0500 Subject: [PATCH 2/2] Update .github/workflows/kani.yml Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com> --- .github/workflows/kani.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index 7831ffa7c8aa..0fe56706140f 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -303,7 +303,7 @@ jobs: - name: Build Kani (old variant) run: pushd old && cargo build-dev - - name: Copy benchmarks form new to old + - name: Copy benchmarks from new to old run: rm -rf ./old/tests/perf ; cp -r ./new/tests/perf ./old/tests/ - name: Run benchcomp