Typestate crashes on this program #913

Closed

Closed

Typestate crashes on this program#913

opened

on Sep 13, 2011

Contributor

fn main() {
    let _a = 1, _b = 2, _c = 3;
    for d in [1] {
        {|x| x == 10 };
    }
}

The error is:

rt: b8e9:main:main:                   upcall fail 'Assertion i < v.nbits failed', src/lib/bitv.rs:75
rt: b8e9:main:                        domain main @0xa858148 root task failed

ghost assigned

on Sep 13, 2011

closed this as completed

on Sep 28, 2011

added 2 commits that reference this issue

on Sep 28, 2011

Register new snapshot

Remove a few kludges that worked around issue #913

added a commit that references this issue

on Sep 29, 2011

Don't descend into functions from relax_precond_block

unassigned

on Jun 16, 2014

added a commit that references this issue

on Oct 26, 2020

Merge pull request rust-lang#913 from bjorn3/dependabot/cargo/craneli…

added a commit that references this issue

Custom forward zero (rust-lang#913)

added a commit that references this issue

Separate cmbc-linked and harness-specialized goto binaries (rust-lang…

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Participants