Commit 224c0632 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

Update help of minimize command

parent c22d9289
......@@ -80,8 +80,8 @@ subcommand =
"minimize"
(info
(MinimizeCommand <$> minimizeOptions)
( progDesc "(WORK IN PROGRESS) Minimize the given coalgebra."
<> footer "Refines the given coalgebra and returns a minimal behaviorally equivalent"
( progDesc "Minimize the given coalgebra."
<> footerDoc (Just (toAnsiWlPprint minimizeHelp))
)
)
)
......@@ -220,6 +220,14 @@ data MinimizeOptions = MinimizeOptions
, minimizeInputFile :: Maybe FilePath
}
minimizeHelp :: Doc AnsiStyle
minimizeHelp
= reflow "This command reads a coalgebra as input and computes its well-pointed \
\modification (reachable part of simple quotient)."
<> line <> line
<> reflow "Please see the 'copar help' command for a description of the input \
\(and output) file syntax."
minimizeOptions :: Parser MinimizeOptions
minimizeOptions = do
minimizeInputFile <- optional
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment