[Javapathfinder-svn] SF.net SVN: javapathfinder:[1433] trunk

[<pc...@us...>]

Revision: 1433
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1433&view=rev
Author:   pcorina
Date:     2009-04-22 01:11:08 +0000 (Wed, 22 Apr 2009)

Log Message:
-----------
fixed conflicts, classpath and weird characters in copyright notice

Modified Paths:
--------------
    trunk/.classpath
    trunk/examples/Termination.java
    trunk/extensions/complexcoverage/src/gov/nasa/jpf/complexcoverage/JPF_gov_nasa_jpf_complexcoverage_Debug.java
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFile.java
    trunk/extensions/symbc/examples/StringTest.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/bytecode/SymbolicStringHandler.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/mixednumstrg/SpecialIntegerExpression.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/mixednumstrg/SpecialRealExpression.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/numeric/PathCondition.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringConstant.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringConstraint.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringOperator.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringPathCondition.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/StringSymbolic.java
    trunk/extensions/symbc/src/gov/nasa/jpf/symbc/string/SymbolicStringBuilder.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExe1.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeMathIAsolver.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/TestSymbolic.java
    trunk/src/gov/nasa/jpf/jvm/bytecode/InvokeInstruction.java

Added Paths:
-----------
    trunk/TestFileSimpleCoverage.java-trace
    trunk/double-test.txt
    trunk/extensions/complexcoverage/test/ComplexCoverage TestFun SimpleCoverage.launch
    trunk/extensions/complexcoverage/test/gov/nasa/jpf/complexcoverage/test/TestFileSimpleCoverage.java
    trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/JPF_java_lang_String.java
    trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/JPF_java_lang_StringBuffer.java
    trunk/extensions/symbc/env/jvm/gov/nasa/jpf/symbc/JPF_java_lang_StringBuilder.java
    trunk/extensions/symbc/outFile.txt
    trunk/extensions/symbc/src.tar.gz
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExDarko.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExMIT.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExStateflow.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeHeap2.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeHeap3.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeSimple.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/ExSymExeStrings.java
    trunk/extensions/symbc/test/gov/nasa/jpf/symbc/symtest.sh
    trunk/extensions/symbc/test.tar.gz
    trunk/extensions/symbc.tar.gz
    trunk/javapathfinder-972.patch.txt
    trunk/osm_method.dot
    trunk/osm_sequence.dot
    trunk/outFile.txt


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.