Bugs with new provers added in an extra config file
Two issues regarding the addition of a new prover (and not a prover modifier) in an extra config file:
-
the driver given should be relative to the extra config file in question, currently it is not -
adding a shortcut systematically raises an error saying that the shortcut is defined twice