Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration #6420

	# Copyright Kani Contributors
	# SPDX-License-Identifier: Apache-2.0 OR MIT

	# 1. Checks licenses for allowed license.
	# 2. Checks Rust-Sec registry for security advisories.

	name: Cargo Audit
	on:
	pull_request:
	merge_group:
	push:
	# Run on changes to branches but not tags.
	branches:
	- '**'

	jobs:
	audit:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: EmbarkStudios/cargo-deny-action@v1
	with:
	arguments: --all-features --workspace
	command-arguments: -s

Provide feedback