This commit is contained in:
peb
2006-01-13 08:42:25 +00:00
parent 7752543f04
commit acd24331af
5 changed files with 48 additions and 19 deletions

View File

@@ -146,7 +146,7 @@ testValidFlag st co f x = case f of
"filter" -> testInc customStringCommand
"length" -> testN
"optimize"-> testIn $ words "parametrize values all share none"
"conversion" -> testIn $ words "strict nondet finite singletons finite-strict finite-singletons"
"conversion" -> testIn $ words "strict nondet finite finite2 finite3 singletons finite-strict finite-singletons"
_ -> return ()
where
testInc ci =