projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2fc7c61) | patch
Fix: else-if block was missing code, so the "user" option for console publisher was...
authorCyrille Artho <artho@kth.se>
Thu, 3 Jan 2019 13:25:23 +0000 (22:25 +0900)
committerCyrille Artho <artho@kth.se>
Thu, 3 Jan 2019 13:25:23 +0000 (22:25 +0900)
commitd275f72b1878404b0b4d80a4845969d3370f0e06
treef90998f39e29f77d9e87e084799e96f0385055cftree | snapshot
parent2fc7c6100c2bb7cf4452ecfd72a628d6c06e3188commit | diff
Fix: else-if block was missing code, so the "user" option for console publisher was defunct. Fixed incl. unit tests (thanks to Franck for both).
src/main/gov/nasa/jpf/report/Publisher.java diff | blob | history
src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.