Timeouts due to sequence axioms

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.25k stars 72 forks source link

Timeouts due to sequence axioms #1349

Open matthias-brun opened 1 week ago

matthias-brun commented 1 week ago

The attached project state times out (but it's unstable, slight changes make it not time out) and the profiler shows mainly sequence axioms being used.

ping @utaal

2024-11-18-18-32-57.zip