action: bugfix - reads-from value should be VALUE_NONE for new actions
authorBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 00:45:52 +0000 (16:45 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 2 Mar 2013 00:45:52 +0000 (16:45 -0800)
commit68b6b3ecad7edcaed6547d4d2be3eb974dfc98d6
tree06431f7c42fede8ddc7583727d90771cbcee3d98
parent237f94a977b3c09f8b3b2f551e0057a4ed36b06d
action: bugfix - reads-from value should be VALUE_NONE for new actions

If a new read action hasn't had a chance to choose a valid reads-from or
reads-from-promise, it can have "no" value. This only occurs if we are
terminating an infeasible execution, where there were no valid reads to
read from.

This bug was triggering faults only for verbose printing, were we would
print the status of an incomplete read.
action.cc