Deducteam / Dedukti

Implementation of the λΠ-calculus modulo rewriting

Home Page:https://deducteam.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Unclear error message

gabrielhdt opened this issue · comments

Providing an empty command to the confluence checker fails with a Sys_error("'' does not exist") which is very unclear as we don't even know that it's the confluence checker that raised this error. Saying what the command expects (an executable file) would be a nice addition IMO.