projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7336c4) | patch
FIX: java.lang.Object should be java/lang/Object.
authorCyrille Artho <artho@kth.se>
Sat, 24 Nov 2018 10:17:37 +0000 (11:17 +0100)
committerCyrille Artho <artho@kth.se>
Sat, 24 Nov 2018 10:17:37 +0000 (11:17 +0100)
commitd772dfa80ea692f916aa6718d04c4f7bfb2a746b
treed6c844c17f7ebf57660b3ed3440860d3a7aab1actree | snapshot
parentf7336c4df1322b1d586c0ebc34c10fd57f340667commit | diff
FIX: java.lang.Object should be java/lang/Object.
modified:   src/main/gov/nasa/jpf/vm/Types.java: Fixed incorrect type descr.
modified:   src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java: Unit test.
src/main/gov/nasa/jpf/vm/Types.java diff | blob | history
src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.