Skip to content

Remove duplicate native cases in run_binary_exhaustive_both#198

Merged
weikengchen merged 4 commits intoarkworks-rs:masterfrom
Bashmunta:fix/uint-exhaustive-native-tests
Feb 28, 2026
Merged

Remove duplicate native cases in run_binary_exhaustive_both#198
weikengchen merged 4 commits intoarkworks-rs:masterfrom
Bashmunta:fix/uint-exhaustive-native-tests

Conversation

@Bashmunta
Copy link
Contributor

run_binary_exhaustive_both was calling the UInt/native test inside the same double combination loop as the UInt/UInt test. Since
test_binary_op_with_native only depends on mode_a, a and b and ignores mode_b, this caused each (mode_a, a, b) triple to be checked three times for the native variant. This change keeps the full exhaustive coverage for the UInt/UInt test, but moves the UInt/native test into a separate loop over b, mirroring run_binary_exhaustive_native_only. As a result, each native case is exercised exactly once per (mode_a, a, b) without losing coverage or wasting constraints.

@Bashmunta Bashmunta requested a review from a team as a code owner December 15, 2025 09:00
@Bashmunta Bashmunta requested review from mmagician, weikengchen and z-tech and removed request for a team December 15, 2025 09:00
@weikengchen
Copy link
Member

(^ triggering the CI with a new line)

@weikengchen weikengchen changed the title fix: remove duplicate native cases in run_binary_exhaustive_both Remove duplicate native cases in run_binary_exhaustive_both Feb 28, 2026
@weikengchen weikengchen added this pull request to the merge queue Feb 28, 2026
Merged via the queue into arkworks-rs:master with commit 0d7272f Feb 28, 2026
11 checks passed
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.

2 participants