Menu

prime_in_a_box

Alon Mishne

Prime in a Box

Running Existing Examples

  1. Download the VM:
    https://www.dropbox.com/s/rq2i47z5jrt5t87/Prime.zip
  2. Run the VM
    • user: prime
    • password: prime
  3. After logging in, you should be in the home directory /home/prime.
  4. Run eclipse, installed in /eclipse by running ./eclipse/eclipse &.
    (this is an eclipse version installed in your home directory and NOT the eclipse version that comes with the Ubuntu distribution, which does not work well)
  5. click ok to use the workspace /home/prime/workspace
  6. Go to "run" in the menu, and pick "run configurations", pick "Prime 64-bit".
    This should launch another eclipse instance, which is the Prime environment
  7. Pick "Prime" from the menu, and pick "Run Prime in Local mode".
    In the dialog box, you can pick to either run on cached analysis files ("use analysis results file"), which is what I suggest as a starting point, or to use a folder of source/class files.
    Let's go with cached results file -- so pick "use analysis results file" in the radio buttons
    then pick a folder with cached results, such as:
    /home/prime/workspace/priming-cached/raw
    or
    /home/prime/workspace/priming-cached/consolidated
    (The former has raw results, before consolidation, the latter contains the results of consolidation.)
    Once you've picked a folder, a list of cached results file would appear, and you should pick some file and click OK.
  8. A new tab with "results table" should appear.
    The results table is a tree view that shows consolidated results.
    The view (shown below) lists all sorts of relevant info such as the number of samples rolled into each history, what % of total samples that constitutes, the size of the DFA, the max weight of an edge in the DFA, total depth, number of types involved, etc.
    Double clicking a history (its name) will show it as graph in a pop-up window (also shown below).

Results Tab

Screenshot of the results tab in the eclipse view

Dot Viewer

Screenshot of a graph displayed in the dot viewer


Related

Wiki: Home