projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0faa7fe) | patch
Support Runtime.halt.
authorCyrille Artho <artho@kth.se>
Sat, 17 Nov 2018 05:11:36 +0000 (16:11 +1100)
committerCyrille Artho <artho@kth.se>
Sat, 17 Nov 2018 05:11:36 +0000 (16:11 +1100)
commitc42e4fc591a787c17954e63dbbc2cf9668c6ae39
treebd7326d601e029fe040062734fc68a68b12e5c4etree | snapshot
parent0faa7fe76a1366d020ba817fee2258458c69134acommit | diff
Support Runtime.halt.
            modified:   src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java: Native peers.
            modified:   src/tests/gov/nasa/jpf/test/java/lang/RuntimeTest.java: Tests.
src/peers/gov/nasa/jpf/vm/JPF_java_lang_Runtime.java diff | blob | history
src/tests/gov/nasa/jpf/test/java/lang/RuntimeTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.