Allow merging instead of overriding for `--export` CLI parameter
Open
enhancement
- Dominant language
- Rust
- Stars
- 289
- Forks
- 21
- PR merge metrics
- No merged PRs in 30d
Description
The `--export all/idb/edb` overwrite all exports statements using default parameters. However, users might want to provide export parameters for some predicates, while using the default export for others.
This is based on the discussion in #629.
Contributor guide
Assessment
This issue has not been assessed yet.