projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 934b4d3) | patch
userprog: use modulo
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 18:59:02 +0000 (11:59 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 18:59:02 +0000 (11:59 -0700)
commitd4253111e600d9e6d1c3469bbc5832d0d79ee89a
treebe6354811f276489b692f4fcb95e2ec6edf3a427tree | snapshot
parent934b4d3e585ee77329a9211b03d2b72b7b6ebdf9commit | diff
userprog: use modulo

Increasing the number of loops is useless unless we have modulo here... I
don't know why this was changed by Subramanian.
userprog.c diff | blob | history
C++11 memory model checker