projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 802e014) | patch
action: print '?' for unknown read-from-future
authorBrian Norris <banorris@uci.edu>
Tue, 4 Sep 2012 17:59:47 +0000 (10:59 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 4 Sep 2012 19:06:57 +0000 (12:06 -0700)
commit672a04a0620a9fbad1c01965cab4089c58b8e581
treeb4033303d62d162714980784ecc3067acb282cc0tree | snapshot
parent802e014ba228bb6bc689ff1d31e8423097be9826commit | diff
action: print '?' for unknown read-from-future

To provide more informative debugging traces, use a placeholder '?' as the "Rf"
value when printing a 'read' ModelAction that has no reads-from value. This
helps, for instance, when manually identifying problem points in an infeasible
execution.
action.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.