{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

The Daikon Invariant Detector User Manual_ 2. Installing Daikon

The Daikon Invariant Detector User Manual_ 2. Installing Daikon

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
[ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 2. Installing Daikon Shortcut for the impatient: skip directly to installation instructions (see section Unix/Linux/MacOS installation ) (see section Windows installation ). There are two main ways to install Daikon. See section Simple installation instructions , for a simple 2-step installation process that is adequate for the needs of many users. See section Complete installation instructions , for a complete installation, in 4 easy steps, that permits you to use all of the functionality in the Daikon distribution. Use the simple installation instructions if you only wish to detect invariants in Java programs. Use the complete installation instructions (which are easy to follow) if you wish to detect invariants in C or Perl programs, if you wish to run certain other programs distributed with Daikon in its ‘ bin/ ’ directory, or if you wish to edit and recompile the source code of Daikon itself. Differences from previous versions of Daikon appear in the file ‘ doc/CHANGES ’ in the distribution. To be notified of new releases, or to join discussions about Daikon, subscribe to one of the mailing lists (see section Mailing lists ). 2.1 Simple installation instructions 2.2 Complete installation instructions [ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 2.1 Simple installation instructions Daikon is written in Java. In order to run Daikon, all you really need is the ‘ daikon.jar ’ file, which is included in the distribution or can be downloaded separately from http://pag.csail.mit.edu/daikon/download /daikon.jar . Place ‘ daikon.jar ’ on your classpath so that Java can find it. You are now ready to use Daikon! There are two additional requirements. You must have a Java 5.0 (or later) JVM ( Java Virtual Machine ). The tools.jar ’ file that comes with your JVM must also be on your classpath. See section Installing Daikon , for situations where you should follow the complete installation instructions of Complete installation instructions . (Also, if you do not know how to add a jar file to your classpath, then use the complete installation instructions, which walk you through the process.) [ < ] [ > ] [ << ] [ Up ] [ >> ] [ Top ] [ Contents ] [ Index ] [ ? ] 2.2 Complete installation instructions This section gives step-by-step instructions for installing Daikon. Here is an overview of the steps. Details appear below; select the instructions for your operating system. The Daikon Invariant Detector User Manual: 2. Installing Daikon file:///C:/Users/tyalanf/AppData/Local/Temp/Temp1_daikon.zip/daikon/d... 1 of 6 2/24/2012 12:16 PM You created this PDF from an application that is not licensed to print to novaPDF printer ( http://www.novapdf.com )
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon