google / google/xls

[fuzzer]: Seemingly spurious assertion firing

Open
#1,933 0 comments 0 reactions 0 assignees View on GitHub
fuzz simulator
Dominant language
C++
Stars
1.9k
Forks
283
Avg merge
2d 10h
Merged PRs (30d)
135

Description

The fuzzer found a scenario with a continuous assertion seems to be spuriously firing. I thought it might be related to inlining expressions causing weird simulator event-ordering things to happen, but addressing that didn't seem to fix it. I'm going to add the crasher and file this issue to track the problem.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.