search

flux-rs / flux

Refinement Types for Rust
MIT License
632 stars 17 forks source link

bitwise not crashes verification #571

Closed enjhnsn2 closed 8 months ago

enjhnsn2 commented 9 months ago 
fn test(x: i32) -> i32 {
    !x
}

fails with the error 

thread 'rustc' panicked at crates/flux-refineck/src/sigs/mod.rs:125:18:
no entry found for key
nilehmann commented 9 months ago

We need to add signatures for the integer cases here