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
treebd7326d601e029fe040062734fc68a68b12e5c4e
parent0faa7fe76a1366d020ba817fee2258458c69134a
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
src/tests/gov/nasa/jpf/test/java/lang/RuntimeTest.java