Search results

[ICE] Prusti panics when verifying closures that capture environment variables.

Status: Open.

#1546 In viperproject/prusti-dev;

· rikki322 opened on Feb 3, 2026

Arithmetic operations on references (e.g. <code>Add</code>, <code>Mul</code>) are incorrectly flagged as impure

Status: Open.

#1545 In viperproject/prusti-dev;

· chisa22 opened on Feb 3, 2026

[Internal Error] Prusti crashes when moving a mutable reference inside a loop

Status: Open.

#1544 In viperproject/prusti-dev;

· lynae99 opened on Feb 3, 2026

Closures inside <code>#[pure]</code> functions trigger "impure function" and "unsupported constant type" errors

Status: Open.

#1543 In viperproject/prusti-dev;

· lynae99 opened on Jan 31, 2026

False positive: Outer function attributes are lost inside immediately invoked closures

Status: Open.

#1542 In viperproject/prusti-dev;

· rikki322 opened on Jan 31, 2026

False negative: <code>std::panic::panic_any</code> does not trigger verification error

Status: Open.

#1541 In viperproject/prusti-dev;

· chisa22 opened on Jan 31, 2026

Can't use it w/ virtual workspace w/ resolver 3 or 2024 edition

Status: Open.

#1539 In viperproject/prusti-dev;

· joaoantoniocardoso opened on Aug 18, 2025

"error: the compiler unexpectedly panicked. this is a bug." running Prusti from VS Code

Status: Open.

#1538 In viperproject/prusti-dev;

· R-Peleg opened on Jul 22, 2025

"use of impure function "std::ops::Div::div" in pure code is not allowed" and crash after setting Div for f64 as "extern_spec"

Status: Open.

#1537 In viperproject/prusti-dev;

· EmmanuelMess opened on Jul 18, 2025

Release binaries don't have the executable bit set

Status: Open.

#1535 In viperproject/prusti-dev;

· EmmanuelMess opened on Jul 16, 2025

<code>cargo-prusti build</code> doesn't work

Status: Open.

#1534 In viperproject/prusti-dev;

· EmmanuelMess opened on Jul 16, 2025

A crash bug identified during the verification

Status: Open.

#1532 In viperproject/prusti-dev;

· stoneman258 opened on May 2, 2025