projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4162a5) | patch
scanalysis: fix warning
authorBrian Norris <banorris@uci.edu>
Mon, 15 Apr 2013 04:34:49 +0000 (21:34 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 15 Apr 2013 04:34:49 +0000 (21:34 -0700)
commit10dbb93b23ef00daaa60bccc5f25764cda298a61
tree5f432bc0876dd513e5ff97d6ee41c7ba47f9ac02tree | snapshot
parentb4162a5ce2af6affc0ea425aa31cebbc5f5257e9commit | diff
scanalysis: fix warning

canalysis.cc: In member function ‘bool SCAnalysis::processRead(ModelAction*, ClockVector*)’:
scanalysis.cc:162:78: warning: suggest parentheses around ‘&&’ within ‘||’ [-Wparentheses]
scanalysis.cc diff | blob | history
C++11 memory model checker