projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9fb0b53) | patch
model: rename isfinalfeasible -> is_feasible_prefix_ignore_relseq
authorBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:33:53 +0000 (20:33 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 20 Nov 2012 04:33:53 +0000 (20:33 -0800)
commit7a0167d52294a9707f81a54d74009c6f82346d18
tree26751d1f7b4f4980ae017627aae1378011489c5ftree | snapshot
parent9fb0b534cd05f395ab508a30624997e43ef0cfc9commit | diff
model: rename isfinalfeasible -> is_feasible_prefix_ignore_relseq

This more accurately reflects its use case and the fact that it is a
slightly-weaker version of isfeasibleprefix(). Also, I integrate it into
isfeasibleprefix(), to avoid re-writing the same conditions.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker