@@ -44,11 +44,17 @@ data Impl = Incr | Binary | MNode
4444
4545
4646summaryStr :: String
47- summaryStr = " Toothpaste Miner 0.9.3.1, 2020-23 (GPL)"
47+ summaryStr = " Toothpaste Miner 0.9.3.1, 2020-24 (GPL)"
48+
49+ lfDelimitedText = " dt"
50+ lfDoubleCommaDelimitedText = " dcdt"
4851
4952toothpasteArgs = cmdArgsMode $ ToothpasteArgs {
50- logformat = " dt" &=
51- help " Event log format. Valid values dt or dtct" ,
53+ logformat = lfDelimitedText &=
54+ help (" Event log format. Valid values "
55+ ++ lfDelimitedText ++ " or "
56+ ++ lfDoubleCommaDelimitedText
57+ ++ " . Default " ++ lfDelimitedText ++ " ." ),
5258 modeltype = " stoch" &=
5359 help " Output model type. Valid values stoch or cflow" ,
5460 eventlog = def &= help " Event log file name. Required." ,
@@ -71,9 +77,9 @@ ptreeOutMain = Binpaste.inputMain
7177
7278
7379parseSelector :: String -> String -> Log String
74- parseSelector pstr | pstr == " dcdt " = parseDCDT
75- | pstr == " dt " = parseDelimitedTrace
76- | otherwise = parseDelimitedTrace
80+ parseSelector pstr | pstr == lfDoubleCommaDelimitedText = parseDCDT
81+ | pstr == lfDelimitedText = parseDelimitedTrace
82+ | otherwise = parseDelimitedTrace
7783
7884modelSelector :: String -> Model
7985modelSelector mstr | mstr == " stoch" = Stochastic
0 commit comments