Open Ao-senXiong opened 2 months ago
@Ao-senXiong , this pull request needs a few changes:
- the sv-comp script needs to use relative paths, you cannot use your username in the script.
- the instructions on the readme is not accurate, and detailed. Please, have more detailed instructions about where we get the benchmarks we test, the directory structure between the sv-comp benchmarks and SPF, and please use relative directory structure in your command to run the script, i.e., avoid using your username, and use a relative path, that allows the user to just copy and paste your command if he/she got the directory structure in the right way.
Sure, thanks! I will make the changes after the script is stable and usable.
@Ao-senXiong , this pull request needs a few changes: