Search results

Produce YAML witnesses

enhancementNew feature or requestNew feature or request

Status: Open.

#6 In sim642/sv-sanitizers;

· sim642 opened on Dec 11, 2025

TSan's halt_on_error doesn't always work

bugSomething isn't workingSomething isn't working

Status: Open.

#4 In sim642/sv-sanitizers;

· sim642 opened on Jan 10, 2025

Give random arguments to program

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In sim642/sv-sanitizers;

· sim642 opened on Dec 31, 2024

Produce __VERIFIER_nondet_* harnesses for determistic replay

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In sim642/sv-sanitizers;

· sim642 opened on Nov 29, 2023

Spurious races due to non-atomic treatment of __VERIFIER_atomic*-prefixed functions

bugSomething isn't workingSomething isn't working

Status: Open.

#1 In sim642/sv-sanitizers;

· sim642 opened on Nov 8, 2023