Skip to content

[DSLX Fuzz Testing] Support wide bit-ranges in the JIT wrapper generator.#4156

Draft
copybara-service[bot] wants to merge 1 commit intomainfrom
test_904610051
Draft

[DSLX Fuzz Testing] Support wide bit-ranges in the JIT wrapper generator.#4156
copybara-service[bot] wants to merge 1 commit intomainfrom
test_904610051

Conversation

@copybara-service
Copy link
Copy Markdown

@copybara-service copybara-service Bot commented Apr 23, 2026

[DSLX Fuzz Testing] Support wide bit-ranges in the JIT wrapper generator.

Update jit_wrapper_generator.py to support ranges for values of wide types (like u128) if they fit in 64 bits, and fix fallback to xls::ArbitraryValue for unsupported types.

@copybara-service copybara-service Bot changed the title [DSLX Fuzz Testing] Support wide bits ranges in JIT wrapper generator. [DSLX Fuzz Testing] Support wide bit-ranges in the JIT wrapper generator. May 4, 2026
…tor.

Update jit_wrapper_generator.py to support ranges for values of wide types (like u128) if they fit in 64 bits, and fix fallback to `xls::ArbitraryValue` for unsupported types.

PiperOrigin-RevId: 904610051
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant