Issue 1123: Use "Validate" if "validate" is not on the PATH - Fast Downward issue tracker

Title	Use "Validate" if "validate" is not on the PATH
Priority	wish	Status	resolved
Superseder		Nosy List	florian, gabi, jendrik, malte, silvan
Assigned To		Keywords
Optional summary	PR: https://github.com/aibasel/downward/pull/192

Created on 2023-10-10.11:44:25 by florian, last changed by florian.

Summary
PR: https://github.com/aibasel/downward/pull/192

Messages
msg11449 (view)	Author: florian	Date: 2023-10-12.10:03:54
Silvan and Jendrik approved, so I merged. Thanks
msg11447 (view)	Author: florian	Date: 2023-10-10.16:23:05
I set up a pull request for this.
msg11446 (view)	Author: florian	Date: 2023-10-10.11:44:25
Newer releases of VAL use "Validate" as a binary name but the driver expects "validate" which was used in older releases. Since we currently recommend to install an older version, we should keep supporting the lower case version. We could additionally support the new version by testing if "validate" is on the PATH and falling back to "Validate" if it isn't.

History
Date	User	Action	Args
2023-10-12 10:03:54	florian	set	status: reviewing -> resolved messages: + msg11449
2023-10-10 16:23:05	florian	set	status: unread -> reviewing messages: + msg11447 summary: PR: https://github.com/aibasel/downward/pull/192
2023-10-10 11:44:25	florian	create