Skip to content
Back to pull request #3979

Fix the bug: Loop contracts are not composable with function contracts #3412

Sign in to view logs

Fix the bug: Loop contracts are not composable with function contracts

Fix the bug: Loop contracts are not composable with function contracts #3412

Annotations

1 error

Verification Benchmarks  /  perf-benchcomp

Verification Benchmarks / perf-benchcomp
failed Apr 11, 2025 in 1h 46m 48s