Changes between Version 44 and Version 45 of Be a CIVL developer

Timestamp:

02/02/17 05:37:08 (9 years ago)

Author:

ziqing

Comment:

--

Be a CIVL developer

@@ -44 +44 @@
 a. From a terminal window, execute "civl config".  This should find the theorem provers in your PATH and create a file .sarl in your home directory.
 a. In Eclipse, navigate to "Run->Run Configurations... Create a new JUnit configuration. "Name it "CIVL Regression Tests". Select "Run all tests in the selected project..." and navigate to the folder "test/regress" in the CIVL project. The Test runner should be JUnit 4. Under the Arguments tab, type "-ea" (without the quotes) in the VM arguments area (to enable assertion checking).
+a. An example of how to set up a single test from within Eclipse: \\ \\
+       create a new Run Configuration via the Run->Run Configurations... menu.  Create a new "Java Application" configuration.  Call it "CIVL barrier2".  The Project is CIVL. The main class is edu.udel.cis.vsl.civl.CIVL.  Under the Arguments tab, set the Program arguments to {{{ verify examples/concurrency/barrier2.cvl }}}.  Modify the VM arguments as in the step above.  You should now be able to run the test by clicking "Run".
 
 == Using Subversion in command-line ==