https://github.com/xarantolus/kani-issue-build-script
Details for reproducing kani issue
https://github.com/xarantolus/kani-issue-build-script
Last synced: 6 months ago
JSON representation
Details for reproducing kani issue
- Host: GitHub
- URL: https://github.com/xarantolus/kani-issue-build-script
- Owner: xarantolus
- Created: 2024-03-22T07:55:48.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-03-22T08:12:50.000Z (over 1 year ago)
- Last Synced: 2025-02-08T12:17:53.166Z (8 months ago)
- Language: Rust
- Homepage: https://github.com/model-checking/kani/issues/3101
- Size: 1.95 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This repo contains contains a minimal example that breaks compilation when using [kani](https://github.com/model-checking/kani), where I would expect compilation to work.
Deleting the `binary/build.rs` script makes the compilation work suddenly, despite it being skipped anyways:
```
binary$ cargo kani -v
Kani Rust Verifier 0.48.0 (cargo plugin)
Skipped the following unsupported targets: 'build-script-build'.
...
```