Есть ли единая система тестирования для Rascal?

Question

Я не видел одного в стандартной документации библиотеки. Поиск Google дает в качестве топ-хита «Rascal Unit путешествует по домашней стерилизации и велнес-клинике, приписывая [sic] информацию».

Answer 1

Итак, выясняется, что тесты встроены в Rascal. Просто добавьте модификатор «test» к логической функции, чтобы сделать его тестом. Команда «: test» будет запускать все тесты в области. Если тест принимает параметры, Rascal проведет некоторое рандомизированное тестирование для вас.