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.

Sign up for GitHub

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

Jump to bottom

Added Kani to CI. #1

Merged
merged 6 commits into from
Jan 13, 2023
Merged

Added Kani to CI. #1

Changes from 4 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
9ccd7ae
Added kani integration.
Jan 9, 2023
89e6c64
Fix yaml problem.
Jan 9, 2023
2874b99
yaml hash problem
Jan 9, 2023
1f898d6
No need to cd?
Jan 9, 2023
ada5828
Use new release, not the hash
Jan 11, 2023
1d56775
Added comment describing the unwind value.
Jan 13, 2023
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
15 changes: 15 additions & 0 deletions .github/workflows/continuous-integration-workflow.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,6 +96,21 @@ jobs:
command: test
args: --no-default-features

kani:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Verify with Kani
uses: model-checking/kani-github-action@02764e122079011adaf31e7d0630a8841d277507
YoshikiTakashima marked this conversation as resolved.
Show resolved Hide resolved
with:
args: |
--tests -p prost-types --default-unwind 3 \
YoshikiTakashima marked this conversation as resolved.
Show resolved Hide resolved
--harness "tests::check_timestamp_roundtrip_via_system_time"
YoshikiTakashima marked this conversation as resolved.
Show resolved Hide resolved
enable-propproof: true

no-std:
runs-on: ubuntu-latest
steps:
Expand Down