如何使用scalacheck来验证某个函数生成的代码是否正确

Question

嗨，我对scalacarch完全陌生。所以我正在构建一个模糊处理程序，我想检查我生成的模糊代码是否正确。我的函数将while循环更改为开关，所以有没有办法检查开关的结构是否符合我的要求？

Answer 1

对于所有有效的输入，检查生成的函数是否生成与模糊函数相同的输出。对于任意函数，您必须编写自己的生成器。