rascal icon indicating copy to clipboard operation
rascal copied to clipboard

Published 20 hours ago • verified publisher icon usethesource

util::Random::randomValue leaky abstraction

Open linuswagner opened this issue 1 year ago • 0 comments

randomValue is undocumented. depth and width leak details about how the function is implemented on the Java-side, making it more difficult to apply.

linuswagner avatar Mar 14 '24 21:03 linuswagner