BESPP(1) User Commands BESPP(1)NAME
bespp - pretty print a BES
SYNOPSIS
bespp [OPTION]... [INFILE [OUTFILE]]
DESCRIPTION
Print the BES in INFILE to OUTFILE in a human readable format. If OUTFILE is not present, stdout is used. If INFILE is not present, stdin
is used.
OPTIONS
OPTION can be any of the following:
-fFORMAT, --format=FORMAT
print the PBES in the specified FORMAT:
'default' for a PBES specification (default)
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Jeroen Keiren.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/bespp>.
bespp mCRL2 toolset 201202.0 (Release) April 2012 BESPP(1)
Check Out this Related Man Page
LPSPP(1) User Commands LPSPP(1)NAME
lpspp - pretty print an LPS
SYNOPSIS
lpspp [OPTION]... [INFILE [OUTFILE]]
DESCRIPTION
Print the mCRL2 LPS in INFILE to OUTFILE in a human readable format. If OUTFILE is not present, stdout is used. If INFILE is not present,
stdin is used.
OPTIONS
OPTION can be any of the following:
-fFORMAT, --format=FORMAT
print the LPS in the specified FORMAT:
'default' for a process specification (default),
'internal' for a textual ATerm representation of the internal format
-n, --print-summand_numbers
print numbers in front of summands
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Aad Mathijssen and Jeroen Keiren.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/lpspp>.
lpspp mCRL2 toolset 201202.0 (Release) April 2012 LPSPP(1)
Hello all,
I'm having trouble trying to get the output of a variable passed from an INFILE. Here is what i have so far.
/tmp/INFILE --- inside INFILE will be 2 or more filenames like so
/apps/opt/FTTP_`date '+%m%d%y'`.txt
/apps/opt/DSLFeed.`date '+%m%d%y'`.txt
--Here is just a... (2 Replies)
Hi,
Please help me.
This script is responsible of storing all the report in a line.
penfilename=`echo ${OUTFILE}*"(${daterange})".csv`
OUTFILE=${OUT_DIR}"/PenetrationReport" and the OUT_DIR is this -
OUT_DIR=${MMHOME}/data/preticketing/penrpt.
The example of the generated report... (1 Reply)
I Have variable $currenttime and I want to display this variable as a TIME FORMAT and the $currenttime value contains like
000000
120000
020000
I want to display to
00:00:00
12:00:00
02:00:00
please help me how to this one (1 Reply)
File name is
INFILE="ABC_BMWPPI_20120909_00073.DAT.ASDFGHJK" -> 44 character long
mv INFILE GEPB_${INFILE:${#INFILE}-27:15}dat
result is GEPB_20120909_00073.DAT.
I am confused in how we get it.
If I evaluate
1- GEPB_${INFILE:${#INFILE}-27:15}dat
2- GEPB_${INFILE:${44}-27:15}dat
3-... (2 Replies)