Skip to content

Commit 110b4ac

Browse files
committed
Add ADR for command-line option handling best practices
Add comprehensive documentation for command-line option handling best practices based on GitHub issue #1521. Includes philosophy, architecture, and step-by-step developer guide.
1 parent 4fe3ade commit 110b4ac

File tree

2 files changed

+652
-0
lines changed

2 files changed

+652
-0
lines changed

doc/ADR/README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,10 @@ where taken at the time they were, so that future maintainers
66
can more easily identify constraints that shaped the architecture
77
of the system and the surrounding infrastructure.
88

9+
## Command-Line Interface
10+
11+
* \subpage command-line-option-handling
12+
913
## Symex ready goto form
1014
\subpage symex-ready-goto
1115

0 commit comments

Comments
 (0)