Not all tasks from the termination set are preprocessed

[sosy-lab]

Not all tasks from the termination set are preprocessed

[dbeyer]

Could you please pre-process and adjust the .set file?

[PhilippWendler]

@ottseb does not have good internet access currently, probably somebody else has to do it.

[kfriedberger]

There are more files that need preprocessing (and updating the set-file afterwards):
termination-recursive-malloc/*.c

[PhilippWendler]

@Heizmann the files in termination-crafted-lit and termination-crafted are from you?

The files in termination-recursive-malloc are from @furgee.

[tautschnig]

@jhensel Could you please create a pull request?

[jhensel]

@tautschnig My pull request has already been merged.

[tautschnig]

This has been fixed in 34647df.