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