projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0341eee) | patch
Added test on redirecting stdout to a file.
authorCyrille Artho <artho@kth.se>
Thu, 20 Dec 2018 14:00:30 +0000 (15:00 +0100)
committerCyrille Artho <artho@kth.se>
Thu, 20 Dec 2018 14:00:30 +0000 (15:00 +0100)
commit2fc7c6100c2bb7cf4452ecfd72a628d6c06e3188
treeefceecaccc976d10acdb3781a30d3b3965acfacatree | snapshot
parent0341eeebea854bec13429540b3debb0c030dd253commit | diff
Added test on redirecting stdout to a file.
modified:   src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java
src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.