projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87594ff) | patch
Fixing a bug: java LinkedList needs removeFirst(), not getFirst() to get and remove...
authorrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:29:40 +0000 (16:29 -0700)
committerrtrimana <rtrimana@uci.edu>
Thu, 9 Apr 2020 23:29:40 +0000 (16:29 -0700)
commit9e0eeb5dcfb257727da9b55510858e53fba555c2
treefb63eedf112cbca04568c8a85208c6c6e2783139tree | snapshot
parent87594ff533502d7145f07c0974ea4fc5399d1caccommit | diff
Fixing a bug: java LinkedList needs removeFirst(), not getFirst() to get and remove a node from the queue.
src/main/gov/nasa/jpf/listener/DPORStateReducer.java diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.