Skip to content

Commit 253c907

Browse files
ZippeyKeys12ZippeyKeys12
committed
Rustify testing harness
1 parent 5552e64 commit 253c907

File tree

27 files changed

+2192
-659
lines changed

27 files changed

+2192
-659
lines changed

‎.github/workflows/benchmarks.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,25 @@ jobs:
3939
run: |
4040
sudo apt-get install build-essential libgmp-dev z3 opam jq
4141
42+
- name: Install Rust toolchain
43+
uses: actions-rust-lang/setup-rust-toolchain@v1
44+
with:
45+
toolchain: stable
46+
components: rustfmt, clippy
47+
48+
- name: Restore Cargo cache
49+
uses: actions/cache@v4
50+
with:
51+
path: |
52+
~/.cargo/bin/
53+
~/.cargo/registry/index/
54+
~/.cargo/registry/cache/
55+
~/.cargo/git/db/
56+
runtime/cn-testing-rs/target/
57+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
58+
restore-keys: |
59+
rust-${{ runner.os }}-
60+
4261
- name: Restore OPAM cache
4362
id: cache-opam-restore
4463
uses: actions/cache/restore@v4

‎.github/workflows/general.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,25 @@ jobs:
2525
run: |
2626
sudo apt-get install build-essential libgmp-dev z3 opam
2727
28+
- name: Install Rust toolchain
29+
uses: actions-rust-lang/setup-rust-toolchain@v1
30+
with:
31+
toolchain: stable
32+
components: rustfmt, clippy
33+
34+
- name: Restore Cargo cache
35+
uses: actions/cache@v4
36+
with:
37+
path: |
38+
~/.cargo/bin/
39+
~/.cargo/registry/index/
40+
~/.cargo/registry/cache/
41+
~/.cargo/git/db/
42+
runtime/cn-testing-rs/target/
43+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
44+
restore-keys: |
45+
rust-${{ runner.os }}-
46+
2847
- name: Restore OPAM cache
2948
id: cache-opam-restore
3049
uses: actions/cache/restore@v4

‎.github/workflows/pr-benchmark.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,25 @@ jobs:
3535
sudo apt-get install build-essential libgmp-dev z3 opam jq python3
3636
pip3 install scipy numpy
3737
38+
- name: Install Rust toolchain
39+
uses: actions-rust-lang/setup-rust-toolchain@v1
40+
with:
41+
toolchain: stable
42+
components: rustfmt, clippy
43+
44+
- name: Restore Cargo cache
45+
uses: actions/cache@v4
46+
with:
47+
path: |
48+
~/.cargo/bin/
49+
~/.cargo/registry/index/
50+
~/.cargo/registry/cache/
51+
~/.cargo/git/db/
52+
runtime/cn-testing-rs/target/
53+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
54+
restore-keys: |
55+
rust-${{ runner.os }}-
56+
3857
- name: Restore OPAM cache
3958
id: cache-opam-restore
4059
uses: actions/cache/restore@v4

‎.github/workflows/proof.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,25 @@ jobs:
3636
run: |
3737
sudo apt-get install build-essential libgmp-dev z3 opam
3838
39+
- name: Install Rust toolchain
40+
uses: actions-rust-lang/setup-rust-toolchain@v1
41+
with:
42+
toolchain: stable
43+
components: rustfmt, clippy
44+
45+
- name: Restore Cargo cache
46+
uses: actions/cache@v4
47+
with:
48+
path: |
49+
~/.cargo/bin/
50+
~/.cargo/registry/index/
51+
~/.cargo/registry/cache/
52+
~/.cargo/git/db/
53+
runtime/cn-testing-rs/target/
54+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
55+
restore-keys: |
56+
rust-${{ runner.os }}-
57+
3958
- name: Restore OPAM cache
4059
id: cache-opam-restore
4160
uses: actions/cache/restore@v4

‎.github/workflows/rocq.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,25 @@ jobs:
3636
run: |
3737
sudo apt-get install build-essential libgmp-dev z3 opam
3838
39+
- name: Install Rust toolchain
40+
uses: actions-rust-lang/setup-rust-toolchain@v1
41+
with:
42+
toolchain: stable
43+
components: rustfmt, clippy
44+
45+
- name: Restore Cargo cache
46+
uses: actions/cache@v4
47+
with:
48+
path: |
49+
~/.cargo/bin/
50+
~/.cargo/registry/index/
51+
~/.cargo/registry/cache/
52+
~/.cargo/git/db/
53+
runtime/cn-testing-rs/target/
54+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
55+
restore-keys: |
56+
rust-${{ runner.os }}-
57+
3958
- name: Restore OPAM cache
4059
id: cache-opam-restore
4160
uses: actions/cache/restore@v4

‎.github/workflows/smt-testing.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,25 @@ jobs:
4242
sudo apt-get update
4343
sudo apt-get install clang-19
4444
45+
- name: Install Rust toolchain
46+
uses: actions-rust-lang/setup-rust-toolchain@v1
47+
with:
48+
toolchain: stable
49+
components: rustfmt, clippy
50+
51+
- name: Restore Cargo cache
52+
uses: actions/cache@v4
53+
with:
54+
path: |
55+
~/.cargo/bin/
56+
~/.cargo/registry/index/
57+
~/.cargo/registry/cache/
58+
~/.cargo/git/db/
59+
runtime/cn-testing-rs/target/
60+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
61+
restore-keys: |
62+
rust-${{ runner.os }}-
63+
4564
- name: Restore OPAM cache
4665
id: cache-opam-restore
4766
uses: actions/cache/restore@v4

‎.github/workflows/spec-testing.yml‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,25 @@ jobs:
4242
sudo apt-get update
4343
sudo apt-get install clang-19
4444
45+
- name: Install Rust toolchain
46+
uses: actions-rust-lang/setup-rust-toolchain@v1
47+
with:
48+
toolchain: stable
49+
components: rustfmt, clippy
50+
51+
- name: Restore Cargo cache
52+
uses: actions/cache@v4
53+
with:
54+
path: |
55+
~/.cargo/bin/
56+
~/.cargo/registry/index/
57+
~/.cargo/registry/cache/
58+
~/.cargo/git/db/
59+
runtime/cn-testing-rs/target/
60+
key: rust-${{ runner.os }}-${{ hashFiles('runtime/cn-testing-rs/Cargo.lock', 'runtime/cn-testing-rs/Cargo.toml') }}
61+
restore-keys: |
62+
rust-${{ runner.os }}-
63+
4564
- name: Restore OPAM cache
4665
id: cache-opam-restore
4766
uses: actions/cache/restore@v4

‎runtime/cn-testing-rs/.gitignore‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
# Generated by Cargo
2+
# will have compiled files and executables
3+
debug
4+
target
5+
6+
# These are backup files generated by rustfmt
7+
**/*.rs.bk
8+
9+
# MSVC Windows builds of rustc generate these, which store debugging information
10+
*.pdb
11+
12+
# Generated by cargo mutants
13+
# Contains mutation testing data
14+
**/mutants.out*/
15+
16+
# RustRover
17+
# JetBrains specific template is maintained in a separate JetBrains.gitignore that can
18+
# be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
19+
# and can be added to the global gitignore or merged into this file. For a more nuclear
20+
# option (not recommended) you can uncomment the following to ignore the entire idea folder.
21+
#.idea/

0 commit comments

Comments
 (0)