通常情况下，使用最多的方法的就是使用rand函数随机生成伪随机数来完成随机数的生成工作。注意这里的伪随机数并非是假的! 只不过是计算机按自己的一套理论生成，并不是”完全理想”状态下的随机数，所以是可以接受的。
2018-11-09 16:46
constraint 约束随机化类中的变量 在main_phase 之前就已经提前产生一个变量的随机值。 用法：一般在类中定义一个rand 类型的变量， 然后根据需求写约束就可以
2023-12-14 14:30
