-
Notifications
You must be signed in to change notification settings - Fork 169
Duplicate files in ldv-linux-3.14 #445
Comments
@eunovm or @vmordan or @Andrianovpavel would probably know. |
There are more duplicate LDV tasks actually as shown by the check from 8dd6a2a: Each line lists identical files:
|
I suggest to remove duplicates with numbers __N in the name. It was not an intension to produce it and looks like some bug climbed into preparation scripts. |
This fixes most of #445 according to the explanation from #445 (comment)
I have added #464 to remove the Lines 94 to 96 in e058630
Please check which of these should be removed. |
I would rather suggest to remove subdirectory 'ldv-linux-3.4-simple' |
Remove: |
This would remove 1162 out of 2795 tasks from this category, which seems like a major change. So I would suggest that you open a new issue for discussion of this. |
At least, you can remove just two duplicates here |
@PhilippWendler @mutilin @mdangl @eunovm |
Based on Linux drivers Fix sanity checks Remove copy-pasted flag The suppress_warnings flag is not neccesary Disable particular warnings of CLANG Minor change: remove comments Fix problems with uninitizized variables Minor changes Add instructions for obtaining the benchmarks Extract pthread-specific code into header file Add stubs for all undefined functions Update documentation on how to submit verification tasks. - Move checklist for PRs to a PR template that GitHub will insert automatically in the description field for new PRs. - Document everything that submitters should read in new file CONTRIBUTING.md, for which GitHub will automatically show a link when creating a new issue or PR. - Remove content that is now in CONTRIBUTING.md from README.md. Fixes sosy-lab#167. use full links in PR template because otherwise links are broken Adding a template for verification tasks, and a new template-set file Add sanity checks for duplicate and contradicting properties Fix bug in check.py that did not check for unknown violated properties Adapt our varios check scripts to the new directories and files Restructure and adjust headings Add links to defining secions The text should not be SV-COMP specific. More on parameters Describe the templates for verification tasks Description and motivation of the repository Added property 'memcleanup' Benchmarks for testing operations on sets Make list implementation of sets Fix other examples Add Makefile Add preprocessed files Add sets to ReachSafety-Heap Add license Add Readme use 'cpp -P' for preprocessing Move aux files to model dir Replace license file by symlink Ignore model dir Enable warnings Add empty Makefile (the model dir is ignored) Suppress 'unexpected subdirectory model' for ldv-sets Disable warnings about incompatible redeclaration of library functions Not required use -m32 for preprocessing Add contributed by Add test for unbounded case Remove cillified files from repository for which we have corresponding non-cillified files. These were removed from the actual benchmark sets 4 years ago in 4f80d53. Remove duplicate files. This fixes most of sosy-lab#445 according to the explanation from sosy-lab#445 (comment) Remove another duplicate file and ajust some filenames as suggested by sosy-lab#445 (comment) Remove one of each of the remaining duplicate file pairs (picked arbitrarily) Fix undefined behavior in volatile_alias.c There was an assignment of the address of a volatile int to an int* pointer, loosing the volatile modifier. To keep the original intention of the benchmark, there is now an assignment of the address of an int to a volatile int*. Rename property to positive name Rename categories with property NoOverflow to positive name Fix link in README for renamed property heap-manipulation: resolve function pointer with unspecified arguments (sosy-lab#462) (*insert_fnc)() declares insert_fnc as a function pointer with an unknown number and type of parameters, not with an empty list of parameters. This may be an underspecification that can lead to possible undefined behaviour. This commit fixes that in two benchmarks of Predator. heap_manipulation: commit also *.i files heap-manipulation: fix problems with fnc pointers heap-manipulation: fix *.i files heap-manipulation: re-pre-process with -m32 Add model directory Exclude model directory from building process
See the following table of files with their SHA1 hash values:
We could delete the duplicates, but the different file names (__5, __10; __19) seem to suggest that there had been an intentional difference that maybe was accidentally removed at some point?
Maybe some bounding?
The text was updated successfully, but these errors were encountered: