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

Timestamp:

02/02/17 05:33:49 (9 years ago)

Author:

ziqing

Comment:

--

Be a CIVL developer

@@ -34 +34 @@
 a. Do a clean build.  Everything should compile.  Generate the civl.jar by right-clicking (or ctrl-click on OS X) the build.xml file and Run As->Ant Build.
 a. Somewhere on your system, create a plain text file containing exactly the following two lines: 
-{{{
+  {{{
 #!/bin/sh
 java -jar /Path/To/Your/workspace/CIVL/civl.jar $@ 
-}}} 
-where "/Path/To/Your/workspace" is replaced with the path to your Eclipse workspace directory.  Name this file "civl", put it in your PATH, and make it executable (chmod ugo+x civl). Alternatively, you can define an alias in your .profile, .bash_profile, .bashrc, or equivalent: 
+  }}}
+  where {{{/Path/To/Your/workspace}}} is replaced with the path to your Eclipse workspace directory.  Name this file "civl", put it in your PATH, and make it executable (chmod ugo+x civl). Alternatively, you can define an alias in your .profile, .bash_profile, .bashrc, or equivalent: 
 {{{
 alias civl='java -jar /Path/To/Your/workspace/CIVL/civl.jar'
 }}}
 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).
 
 == Using Subversion in command-line ==