Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
tools:cass [2016-08-26 12:53] mh [Further Information] |
tools:cass [2017-01-26 17:25] mh [Server Protocol] |
||
|---|---|---|---|
| Line 33: | Line 33: | ||
| Then this analysis is applied to the module and the results are printed. This mode is useful to get a quick access to analysis information so that one can experiment with different abstractions, fixpoint computations, etc. | Then this analysis is applied to the module and the results are printed. This mode is useful to get a quick access to analysis information so that one can experiment with different abstractions, fixpoint computations, etc. | ||
| For instance, the following command analyzes the groundness behavior of operations | For instance, the following command analyzes the groundness behavior of operations | ||
| - | of the module ''rev'': | + | of the module ''rev'' (here we assume that CASS is installed as part of |
| + | PAKCS or KiCS2 so that it is invoked via ''curry analyze''): | ||
| - | > cass Groundness rev | + | > curry analyze Groundness rev |
| rev.append ground if arguments [1,2] are ground | rev.append ground if arguments [1,2] are ground | ||
| rev.main always ground result | rev.main always ground result | ||
| Line 70: | 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. | ||
