-
Notifications
You must be signed in to change notification settings - Fork 165
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Arbitrary/autoharness: nondeterministic
Rc<T>/Arc<T>values always havestrong_count == 1[F] SoundnessKani failed to detect an issueKani failed to detect an issueZ-AutoharnessIssue related to autoharness subcommandIssue related to autoharness subcommandStatus: Open.- Status: Open.#4751 In model-checking/kani;
- Status: Open.#4750 In model-checking/kani;
Verified function contract stubs fail compilation on slice references
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Z-ContractsIssue related to code contractsIssue related to code contractsStatus: Open.- Status: Open.#4747 In model-checking/kani;
CBMC 6.8.0 via Kani 0.67.0: deterministic SIGFPE (exit 136) during symex unwinding of core u128::pow
Status: Open.#4746 In model-checking/kani;- Status: Open.#4745 In model-checking/kani;
- Status: Open.#4737 In model-checking/kani;
tracking issue for algebraic_ float functions in kani
[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.Status: Open.- Status: Open.#4731 In model-checking/kani;
--fail-fastdiscards results for harnesses that already completed[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4729 In model-checking/kani;- Status: Open.#4720 In model-checking/kani;