tests-5.0-17
object 9b10749539148adac52b17e2241d3040b625d151
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 28 Sep 2010 05:42:51 +0000 (07:42 +0200)
Setting tag tests-5.0-17
renamed config_sfa into config_dual
new -q and -k options, and step@i syntax