projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c42e4fc) | patch
Fix for System.in.available().
authorCyrille Artho <artho@kth.se>
Fri, 23 Nov 2018 12:24:57 +0000 (13:24 +0100)
committerCyrille Artho <artho@kth.se>
Fri, 23 Nov 2018 12:24:57 +0000 (13:24 +0100)
commit55f4f09d392d1f721119ec3382caeffcefc9a895
tree979bd844c3722698d6ea6b0f5e9681c331611c96tree | snapshot
parentc42e4fc591a787c17954e63dbbc2cf9668c6ae39commit | diff
Fix for System.in.available().
modified:   src/classes/java/lang/System.java: Custom instance with fix.
modified:   src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java: Unit test.
src/classes/java/lang/System.java diff | blob | history
src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.