comparison make/jprt.properties @ 3103:6484bdc9b508

IdealGraphVisualizer: ensure that input graphs are scheduled and all nodes are assigned to blocks before computing their difference. This fixes exceptions when creating a diff against a graph without blocks that was never viewed before (for instance, graphs from the server compiler).
author Peter Hofer <peter.hofer@jku.at>
date Thu, 30 Jun 2011 16:50:53 +0200
parents f7702f8c0e25
children 03b943e6c025
comparison
equal deleted inserted replaced
3102:86f83aec58ab 3103:6484bdc9b508