Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
tools:cass [2017-01-26 17:24] mh [Usage] |
tools:cass [2017-01-26 17:25] mh [Server Protocol] |
||
---|---|---|---|
Line 71: | Line 71: | ||
To start CASS in the server mode, execute the command | To start CASS in the server mode, execute the command | ||
- | cass --server [ -p <port> ] | + | curry analyze --server [ -p <port> ] |
where an optional port number for the communication can be provided. | where an optional port number for the communication can be provided. |