eclipse-score / eclipse-score/process_description
Namespace element in RecordProperty("PartiallyVerifies"/"FullyVerifies", "score:::namespace::function_name")
Open
- Dominant language
- HTML
- Stars
- 4
- Forks
- 22
- Avg merge
- 9h 40m
- Merged PRs (30d)
- 12
Description
### What
Discuss with @pahmann @RolandJentschETAS if this practice can be added to the process.
### Acceptance Criteria (DoD)
Discussion is documented / "implementation" issues are added.
### How
_No response_
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.