Add unchecked/SIMD bitshift checks and disable CBMC flag #3590

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Triggered via pull request July 31, 2023 21:29

adpaco-aws

synchronize #2630

reisnera:shift-checks

Status Success

Total duration 1m 37s

Artifacts –

audit.yml

on: pull_request