llvm / llvm/circt

InferResets is non-deterministic

Open
#2,124 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
2.2k
Forks
524
Avg merge
3d 2h
Merged PRs (30d)
46

Description

I am seeing different numbers of errors between runs in a failing case of InferResets. Not reduced yet, appearing on an internal design.

Contributor guide

No contributing guide indexed for this repository

Research direction

No file, test, or reproducible case is identified. Start by locating the InferResets entry point and obtaining the failing case from the internal design, then compare repeated runs to isolate the source of differing error counts. Done means the case is reproducible and InferResets reports a consistent result across runs.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
20/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.