goto-symex: apply_condition should not change L2 index #2300
Triggered via pull request
January 22, 2024 15:10
tautschnig
Status
Failure
Total duration
1h 34m 22s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
pull-request-check-rust-api.yaml
on: pull_request
check-ubuntu-22_04-cmake-clang-rust
57s
check-macos-13-cmake-clang-rust
1m 29s
Annotations
2 errors
|
check-ubuntu-22_04-cmake-clang-rust
Process completed with exit code 2.
|
|
check-macos-13-cmake-clang-rust
Process completed with exit code 1.
|