Skip to content

Fix and basic docs about Test.random

E. Rivas requested to merge er433/fix/test-random into dev


Fix and docs about Test.random

The typing rule for Test.random is wrong (an extra option). This MR fixes that, and it also adds the function in the Test reference (docs.), as well as a test case.

Changelog details:

Inference for Test.random fixed.

Edited by E. Rivas

Merge request reports