Issue 1084: print tracebacks for parsing errors to stderr - Fast Downward issue tracker

Title	print tracebacks for parsing errors to stderr
Priority	feature	Status	resolved
Superseder		Nosy List	jendrik, malte
Assigned To	jendrik	Keywords
Optional summary	Pull request: https://github.com/aibasel/downward/pull/183

Created on 2023-02-15.14:17:50 by jendrik, last changed by jendrik.

Summary
Pull request: https://github.com/aibasel/downward/pull/183

Messages
msg11406 (view)	Author: jendrik	Date: 2023-10-03.10:39:13
Thanks, merged.
msg11404 (view)	Author: malte	Date: 2023-10-03.10:11:46
I approved the pull request on github. (Maybe this message is a bit redundant. We'll figure it out over time.)
msg11027 (view)	Author: jendrik	Date: 2023-02-15.14:17:50
Tracebacks are currently printed to stdout and should be printed to stderr instead.

History
Date	User	Action	Args
2023-10-03 10:39:13	jendrik	set	status: reviewing -> resolved messages: + msg11406
2023-10-03 10:11:46	malte	set	messages: + msg11404
2023-10-02 16:01:11	jendrik	set	status: unread -> reviewing assignedto: jendrik summary: Pull request: https://github.com/aibasel/downward/pull/183
2023-02-15 14:17:50	jendrik	create