Check Std Verification

Remove unwind attributes that are no longer needed with CBMC v6 #120

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-std (ubuntu-22.04)	3m 41s
verify-std (macos-14)	3m 51s
	7m 32s