Fixed incorrect default trace-dir path

[arminzavada]

The previous inputOptions.model.parent returns null if the model is directly in the working directory. Instead, the parentFile should be used, as that will respect relative paths as well.

[AdamZsofi]

Seems good.
Honestly I have not tried, but if it works for you, it will work for me. I'll merge once the checks pass, sorry about the delay.

[github-actions]

❗ Please modify build.gradle.kts to contain a later version than 7.0.3. Current version is 7.0.3.

[github-actions]

Release Preview

Version: 7.0.3
Tag: v7.0.3

Release Notes:

Modified subprojects (since v7.0.0):
solver/solver
xcfa/xcfa-cli
xsts/xsts-cli

Files to be uploaded:

upload/EmergenTheta-svcomp.zip
upload/Theta-cfa.zip
upload/Theta-chccomp.zip
upload/Theta-sts.zip
upload/Theta-svcomp.zip
upload/Theta-xsts.zip
upload/Theta-xta.zip
upload/Thorn-svcomp.zip
upload/theta-cfa-cli.jar
upload/theta-solver-smtlib-cli.jar
upload/theta-sts-cli.jar
upload/theta-xcfa-cli.jar
upload/theta-xsts-cli.jar
upload/theta-xta-cli.jar

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

Rundefinition	Correct	Incorrect	All	Status
CHC-COMP_Portfolio	0	0	195	❓
Hardware_CEGAR	47	0	54	✅
PLC_CEGAR	9	0	9	✅
PetriNet_MDD	60	0	122	✅
PetriNet_PN_MDD	68	0	122	✅
SV-COMP_Portfolio_Emergent	48	0	94	✅
SV-COMP_Portfolio_Horn	74	0	94	✅
SV-COMP_Portfolio_Stable	46	0	94	✅
Statechart_CEGAR	110	0	126	✅