Skip to content

[DSLX Fuzz Testing] Support wide bits ranges in JIT wrapper generator.#4156

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

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

Conversation

@copybara-service
Copy link
Copy Markdown

[DSLX Fuzz Testing] Support wide bits ranges in JIT wrapper generator.

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

Update jit_wrapper_generator.py to support ranges for wide bits 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