HarvardPL / HarvardPL/formulog
Convert user-relevant system properties to proper flags
Open
enhancement
- Dominant language
- Java
- Stars
- 179
- Forks
- 11
- Avg merge
- 8h 34m
- Merged PRs (30d)
- 6
Description
Right now, Formulog is parameterized by a mix of system properties (like `-DdebugSmt`) and proper flags (like `--dump-idb`). For the sake of consistency and usability, we should convert user-relevant system properties to flags.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.