Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add CI test for --use-local-toolchain #3074

Merged
merged 21 commits into from
Mar 27, 2024
Merged
Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
e1b35d5
Add CI test for --use-local-toolchain
jaisnan Mar 13, 2024
5e216e6
Merge branch 'main' of https://github.com/model-checking/kani into ad…
jaisnan Mar 19, 2024
97ba4ce
Add --help, --version and standalone simple checks
jaisnan Mar 19, 2024
ba50497
Check the toolchains used in bundle and custom toolchain match, to av…
jaisnan Mar 20, 2024
cb1e555
Add test to use bundle's toolchain version.
jaisnan Mar 20, 2024
14c2c0b
Merge branch 'main' into add-ci-test-use-local-toolchain
jaisnan Mar 20, 2024
fadcf07
Fix yaml syntax
jaisnan Mar 20, 2024
5d1f9fd
Change to use kani-latest instead
jaisnan Mar 20, 2024
12698e1
Fix file path for rust rust-toolchain-version
jaisnan Mar 20, 2024
fb14238
add --use-local-bundle to complete setup
jaisnan Mar 20, 2024
79552e1
Add outputs from previous job
jaisnan Mar 20, 2024
e5c5489
Download bundle
jaisnan Mar 20, 2024
08cc1ac
Add test-local-toolchain to setup
jaisnan Mar 26, 2024
16196a8
Merge branch 'main' into add-ci-test-use-local-toolchain
jaisnan Mar 26, 2024
5d9322a
Merge branch 'main' of https://github.com/model-checking/kani into ad…
jaisnan Mar 26, 2024
e630a52
Fix custom toolchain dir
jaisnan Mar 26, 2024
109fc7f
Merge branch 'add-ci-test-use-local-toolchain' of https://github.com/…
jaisnan Mar 26, 2024
ca72c38
Add rustc version from bundle
jaisnan Mar 26, 2024
a9bf208
formatting
jaisnan Mar 26, 2024
efbe192
Test LocalBundle without re-installing
jaisnan Mar 26, 2024
eeb64c5
Try with tar and verifier
jaisnan Mar 26, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 22 additions & 3 deletions .github/workflows/check-setup.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,14 +65,33 @@ jobs:
cargo kani setup --use-local-toolchain ${{ github.workspace }}/custom_toolchain/

- name: Ensure that the rustup toolchain is not present
run: ls -la ~/.rustup/toolchains/
run: |
ls -la ~/.rustup/toolchains/
if [ ! -f "~/.rustup/toolchains/" ]; then
jaisnan marked this conversation as resolved.
Show resolved Hide resolved
echo "Default toolchain file does not exist. Proceeding with running tests."
else
echo "::error::Default toolchain exists despite not installing."
exit 1
fi

- name: Run tests
- name: Run cargo-kani tests
run: |
ls ./tests/cargo-ui/
for dir in function multiple-harnesses verbose; do
>&2 echo "Running test $dir"
pushd ./tests/cargo-ui/$dir
jaisnan marked this conversation as resolved.
Show resolved Hide resolved
cargo kani
jaisnan marked this conversation as resolved.
Show resolved Hide resolved
popd
done

- name: Check --help and --version
run: |
cargo kani --help && cargo kani --version

- name: Run standalone kani test
run: |
for dir in Assert; do
jaisnan marked this conversation as resolved.
Show resolved Hide resolved
>&2 echo "Running test on file $dir"
pushd ./tests/cargo-ui/$dir
kani bool_ref.rs
popd
done
Loading