Next: , Up: Getting Started   [Contents][Index]

3.1 Set-up

In order to use the web views a dedicated ide daemon(see Invoking ide daemon) needs to be running. This daemon mediates between the command line and the web pages, and also stores the traces that are presented and modified in the sequence view.

The ide daemon is started by running ide hello (see Invoking ide hello) and stopped with ide bye (see Invoking ide bye).

Once the daemon is running, views can be initiated.