Skip to content

[prove] fixed reported path

Loïc Correnson requested to merge fix/parent-dir-name into master

When running why3find prove from a sub-directory, the reported path contains spurious . elements.

Merge request reports