aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/tactics
ModeNameSize
-rw-r--r--TestRefine.v4344logplain