diff test/Makefile @ 4643:a47f7a901c7a

use GraphOrder in CanonicalizerPhase (leads to fewer iterations)
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 20 Feb 2012 14:22:23 +0100
parents 6fd81579526f
children 2d503de963b3
line wrap: on
line diff