projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from:
b8bcaaa
)
node: do not use static member variable
author
Brian Norris
<banorris@uci.edu>
Wed, 30 May 2012 15:06:02 +0000
(08:06 -0700)
committer
Brian Norris
<banorris@uci.edu>
Wed, 30 May 2012 15:09:36 +0000
(08:09 -0700)
Static member variables of a class are going to be snapshotted. Move them so
they aren't static in order to prevent this.
(This can create interesting behavior, where the "total number of nodes
created" is decreasing at times!)
No differences found