-
Notifications
You must be signed in to change notification settings - Fork 177
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#4847 In model-checking/kani;
Support variadic functions: non-C calling conventions, and generating
VaListarguments in autoharnessZ-AutoharnessIssue related to autoharness subcommandIssue related to autoharness subcommandStatus: Open.#4843 In model-checking/kani;panic: autoharness: Failed to get ABI for OfInstance
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4842 In model-checking/kani;panic: autoharness: Unexpected return type
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4841 In model-checking/kani;panic: autoharness: called
Result::unwrap()on anErrvalue: Error("Failed to get layout for[usize; usize::MAX]: values of the type[usize; usize::MAX]are too big for the target architecture")[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4840 In model-checking/kani;- Status: Open.#4839 In model-checking/kani;
panic: assertion failed: blank_splits[1] == "-"
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4838 In model-checking/kani;panic: autoharness assign statement with unequal types lhs Pointer rhs Array
[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4837 In model-checking/kani;Update the Charon pin to latest and delete
scripts/charon-patch.diff[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.[I] Refactoring / Clean UpRefactoring or cleaning up of existing codeRefactoring or cleaning up of existing codeStatus: Open.#4834 In model-checking/kani;Remove the
-Znext-solver=coherencepin: reimplementpointer_generatorwithoutgeneric_const_exprsT-High PriorityTag issues that have high priorityTag issues that have high priorityStatus: Open.#4832 In model-checking/kani;Projection of an uninhabited (
!) field is reported as an unsupported construct instead of unreachable code[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.Status: Open.#4831 In model-checking/kani;- Status: Open.#4830 In model-checking/kani;