Trim file names #3709
Description
Loading a file, .e.g, /home/weigl/work/key/key.core.infflow/../key.ui/examples/InformationFlow/BlockContracts/contract.IFEfficiencyExamples(contract.IFEfficiencyExamples__mWithBlockContract()).Non-interference contract.0.key (whitespace after .key is important) results into:
Reproducible
Is the issue reproducible?
always