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

Sign in to view logs

Summary
Jobs
- audit
Run details
- Usage
- Workflow file

Re-run triggered July 31, 2023 21:22

adpaco-aws

#2630

reisnera:shift-checks

Status Success

Total duration 3m 1s

Artifacts –

audit.yml

on: pull_request