projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b592174) | patch
FIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails...
authorCyrille Artho <artho@kth.se>
Fri, 23 Nov 2018 14:39:40 +0000 (15:39 +0100)
committerCyrille Artho <artho@kth.se>
Fri, 23 Nov 2018 14:39:40 +0000 (15:39 +0100)
commitf7336c4df1322b1d586c0ebc34c10fd57f340667
tree53dade8f395cd5fcbbb78e8928fad7cf0f2ad284tree | snapshot
parentb592174fd5484cb641f1039a4eccc8af6e8c525fcommit | diff
FIX: "java.lang.Char" should be "java.lang.Character". However, new unit test fails due to other problem.
new file:   src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java: New test, failing part commented out.
src/main/gov/nasa/jpf/vm/MJIEnv.java diff | blob | history
src/peers/gov/nasa/jpf/vm/JPF_java_lang_reflect_Field.java diff | blob | history
src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.