svmranker:usage
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
svmranker:usage [2020/11/17 21:03] – merlin | svmranker:usage [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Usage ====== | ||
- | In the following, we assume that current directory is SVMRanker. | ||
- | |||
- | After having installed the required software, SVMRanker can be used by entering the src/ directory and then calling SVMRanker as follows: | ||
- | python3 ./ | ||
- | You should be able to see the following output. | ||
- | SVMRanker --- Version 1.0 | ||
- | Usage: CLIMain.py [OPTIONS] COMMAND [ARGS]... | ||
- | " | ||
- | | ||
- | Options: | ||
- | --help | ||
- | | ||
- | Commands: | ||
- | lmulti | ||
- | lnested | ||
- | parseboogie | ||
- | parsectoboogie | ||
- | parsectopy | ||
- | As we can see, SVMRanker provides five commands. The first two commands allow for proving termination of a given program while the remaining three can be used for parsing the input file and translate it to a different format. In the remaining part of the section we focus on the details for the use of the lmulti and lnested commands. | ||
- | |||
- | lmulti, short for learning multiphase ranking function, instructs SVMRanker to learn a multiphase ranking function for the given program. To get the detailed usage information for this command, one can use the following command. | ||
- | |||