Skip to content

Commit

Permalink
Document fc -a
Browse files Browse the repository at this point in the history
  • Loading branch information
garfieldnate committed Jul 25, 2024
1 parent 0eb9873 commit f3b672e
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions Core/CLI/src/cli_help.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -2375,6 +2375,7 @@ void initdocstrings()
"n List the top n productions. If n is 0, only the\n"
" productions which haven't fired are listed\n"
"production_name Print how many times a specific production has fired\n"
"-a, --all Prints how many times all rules have fired (the default)\n"
"-f, --fired Prints only rules that have fired\n"
"-c, --chunks Print how many times chunks (learned rules) fired\n"
"-j, --justifications Print how many times justifications fired\n"
Expand Down

0 comments on commit f3b672e

Please sign in to comment.