runtimeverification / runtimeverification/kontrol
Use short names for bug-report folders
Nobody has claimed this yet.
- Dominant language
- Python
- Stars
- 122
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
We have recently come across bug reports from kontrol which our scripts are having trouble unpacking and running automatically. This is because the rpc_ folder inside the tarball gets appended with a long string (name of a function?) which the tar library we use has trouble processing. This appears to be due to the length of the file path, which in original tar specification was limited to 100 characters. The library should in theory support the longer names in later tar versions, however there appears to be a bug which prevents this from working for some reason. Would it be possible to e.g. use the hash of the function name when emitting the bug report's rpc_ folder, to work around this issue?
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by tracing the bug-report emitter that creates the rpc_ folder and reproduce the tarball unpacking failure described in the issue. Update the emitted folder naming to avoid the problematic long function-name path, then verify that generated reports can be unpacked and run by the existing scripts.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- tooling
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100