xla
Make assume_pure able to work with functions that depends on random
#9460
Merged
Merged
Make assume_pure able to work with functions that depends on random #9460
qihqi
merged
2 commits into
master
from
hanq_assume_pure_random
yaoshiang
approved these changes
on 2025-07-09
Make assume_pure able to work with functions that depends on random
58447bf7
Add test make sure that multiple rand also works
534da4b9
Login to write a write a comment.
Login via GitHub