projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4975b6) | patch
Fix issue #186: package name (thanks to Marvinmw for the report).
authorCyrille Artho <artho@kth.se>
Fri, 3 May 2019 12:19:36 +0000 (14:19 +0200)
committerCyrille Artho <artho@kth.se>
Fri, 3 May 2019 12:19:36 +0000 (14:19 +0200)
commit1c956392f5f716dc916efb28a2b6b979e1bbd01c
treec606d0b50d8adf552671a3a8b694d3ef56d48fbetree | snapshot
parentc4975b695986b352d3434c73ed638255158b5598commit | diff
Fix issue #186: package name (thanks to Marvinmw for the report).
modified:   src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java
src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.