google / google/xls

Fuzz bug observed in CI for //xls/dslx/frontend:scanned_token_to_string_fuzz_test

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

Description

https://github.com/google/xls/actions/runs/8179939932/job/22366999636

```
FAIL: //xls/dslx/frontend:scanned_token_to_string_fuzz_test (see /home/runner/.cache/bazel/_bazel_runner/5bd26e4beeff37176a5bf6fac1c974c7/execroot/com_google_xls/bazel-out/k8-opt/testlogs/xls/dslx/frontend/scanned_token_to_string_fuzz_test/test.log)
INFO: From Testing //xls/dslx/frontend:scanned_token_to_string_fuzz_test:
==================== Test output for //xls/dslx/frontend:scanned_token_to_string_fuzz_test:
[==========] Running 1 test from 1 test suite.
[----------] Global test environment set-up.
[----------] 1 test from ScanFuzzTest
[ RUN ] ScanFuzzTest.ScanningGivesErrorOrConvertsToOriginal
FUZZTEST_PRNG_SEED=0d2SWKLrxEhDRw7c_10zlZ7jRHV8K94fW0XFwJyX5oY
xls/dslx/frontend/scanned_token_to_string_fuzz_test.cc:48: Failure
Expected equality of these values:
test_module
Which is: "\"\\\\\xF9\""
reversed
Which is: "\"\\\xF9\""
Stack trace:
0x5593d312a2d6: (anonymous namespace)::ScanningGivesErrorOrConvertsToOriginal()
0x7f440445c3ae: fuzztest::internal::FuzzTestFuzzerImpl::RunOneInput()
0x7f440445f5be: fuzztest::internal::FuzzTestFuzzerImpl::RunInUnitTestMode()
0x7f4406940c1e: fuzztest::internal::GTest_TestAdaptor::TestBody()
0x7f4404e0a8fd: testing::internal::HandleExceptionsInMethodIfSupported<>()
0x7f4404e0a7be: testing::Test::Run()
0x7f4404e0bbc1: testing::TestInfo::Run()
... Google Test internal frames ...

=================================================================
=== BUG FOUND!

xls/dslx/frontend/scanned_token_to_string_fuzz_test.cc:56: Counterexample found for ScanFuzzTest.ScanningGivesErrorOrConvertsToOriginal.
The test fails with input:
argument 0: ""\\\371""

=================================================================
=== Reproducer test

TEST(ScanFuzzTest, ScanningGivesErrorOrConvertsToOriginalRegression) {
ScanningGivesErrorOrConvertsToOriginal(
"\"\\\\\371\""
);
}

=================================================================
[ FAILED ] ScanFuzzTest.ScanningGivesErrorOrConvertsToOriginal (346 ms)
[----------] 1 test from ScanFuzzTest (346 ms total)

[----------] Global test environment tear-down
[==========] 1 test from 1 test suite ran. (346 ms total)
[ PASSED ] 0 tests.
[ FAILED ] 1 test, listed below:
[ FAILED ] ScanFuzzTest.ScanningGivesErrorOrConvertsToOriginal
```

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.