Skip to content

Commit

Permalink
doc(wiki)[tools]: patch applicator
Browse files Browse the repository at this point in the history
  • Loading branch information
lukasrothenberger committed Jan 10, 2024
1 parent eabeda1 commit 60b0b4e
Showing 1 changed file with 20 additions and 1 deletion.
21 changes: 20 additions & 1 deletion docs/tools/Patch_applicator.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,23 @@ parent: Tools
nav_order: 4
---

TODO DiscoPoP Setup
# DiscoPoP patch applicator
## Executable
`discopop_patch_applicator`

## Purpose
Offer the managed application, rollback, clearing and restoring of parallelism suggestions in the form of patch files created by the [patch generator](../tools/Patch_generator.md).

## Required input
- Execution mode (apply, rollback, clear, load)
- Pattern ids to be considered

## Output
The patch applicator will not create any new output but modify the files targeted by the specified patch files in-place.


## Note
For a more detailed description of the available run-time arguments, please refer to the help string of the respective tool.
```
discopop_patch_applicator --help
```

0 comments on commit 60b0b4e

Please sign in to comment.