sosy-lab/sv-benchmarks

Tasks from libowfat are actually from dietlibc

MartinSpiessl opened this issue · 2 comments

I just checked the tasks in c/termination-libowfat and encountered that they are not from libowfat as the folder name and README.txt would suggest, but are instead taken from dietlibc.
So ideally we update the readme as well as the folder name.
Are there any reasons against doing this, i.e., should we keep the folder name to be backwards compatible? In my opinion, the benefits of the folder name accurately describing what is inside outweigh any other considerations I could think of.

Could you please create a pull request for this?

Done, see #1030