Как указать правила в .proverc?

Question

На странице руководства по инструменту доказательства Perls говорится:

Параметры в.proverc указываются так же, как параметры командной строки:

# .proverc
--state=hot,fast,save
-j9

Это не так, правило указано как

--rules='par=**'

будет работать в командной строке, но не распознается в.provercфайл. Фактически, добавив эту строку в.proverc отключит параллельное тестирование для всех файлов.

Answer 1

Решение простое: замените первый знак равенства пробелом и укажите правила внутри .proverc следующим образом:

--rules 'par=**'