2015-11-14 10 views
0

Привет, поэтому я совершенно новый для scalacheck. Так что я создаю обфускатор, и я хочу проверить, правильно ли запутанный код, который я генерирую. Моя функция меняет цикл while на коммутатор, так что есть ли способ проверить, является ли структура коммутатора тем, как я хотел, чтобы это было сделано?Как вы можете использовать scalacheck для проверки правильности кода сгенерированного кода?

ответ

0

Для всех допустимых входов проверьте, генерирует ли сгенерированная функция тот же вывод, что и запутанная функция. Для произвольной функции вам придется написать собственный генератор.