projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e02aff0) | patch
Calendar peer bug demonstration (#181)
authorfresheed <ok.john.rus@gmail.com>
Fri, 29 Mar 2019 12:56:57 +0000 (15:56 +0300)
committercyrille-artho <cyrille-artho@users.noreply.github.com>
Fri, 29 Mar 2019 12:56:57 +0000 (13:56 +0100)
commit6641f220c48a727f8811f95498af711372846b74
tree97b8c802cd3d2b994dbb615b826e8077664b27b9tree | snapshot
parente02aff045c6a03c4294ed0e730ecb6d75e059921commit | diff
Calendar peer bug demonstration (#181)

* added unit test demonstrating Calendar peer bug

* added comment and main() method which can be called by RunJPF utility
src/tests/gov/nasa/jpf/test/java/util/CalendarTest.java [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.