Search results

Harness count is inaccurate

Status: Open.

#139 In os-checker/distributed-verification;

· zjp-CN opened on Oct 21, 2025

Figure out how time distribution is computed on harness module or function module

bugSomething isn't workingSomething isn't working

Status: Open.

#136 In os-checker/distributed-verification;

· zjp-CN opened on Oct 19, 2025

UI: add call graph for each harness and related functions

enhancementNew feature or requestNew feature or request

Status: Open.

#135 In os-checker/distributed-verification;

· zjp-CN opened on Oct 19, 2025

UI: list harnessed attached to the function

enhancementNew feature or requestNew feature or request

Status: Open.

#134 In os-checker/distributed-verification;

· zjp-CN opened on Oct 18, 2025

UI: add commit field or a link to source code to github

enhancementNew feature or requestNew feature or request

Status: Open.

#133 In os-checker/distributed-verification;

· zjp-CN opened on Oct 18, 2025

Arch difference will generate unknown harnesses

Status: Open.

#130 In os-checker/distributed-verification;

· zjp-CN opened on Oct 14, 2025

Function names and monomorphization

Status: Open.

#129 In os-checker/distributed-verification;

· zjp-CN opened on Oct 14, 2025

kani-list.json has non-existential <code>.function_safeness</code>

Status: Open.

#128 In os-checker/distributed-verification;

· zjp-CN opened on Oct 14, 2025

Add tests for failure of kani verification

Status: Open.

#125 In os-checker/distributed-verification;

· zjp-CN opened on Sep 11, 2025

Verified Function doesn't exist in some cases

Status: Open.

#121 In os-checker/distributed-verification;

· zjp-CN opened on Sep 7, 2025

UI: display call direct graph for harness and verified function

enhancementNew feature or requestNew feature or request

Status: Open.

#119 In os-checker/distributed-verification;

· zjp-CN opened on Aug 31, 2025

Fix empty source code when verified function name is monomorphized

bugSomething isn't workingSomething isn't working

Status: Open.

#117 In os-checker/distributed-verification;

· zjp-CN opened on Aug 31, 2025