Generate better tests, with fewer repeating results.

This commit is contained in:
2018-10-08 20:32:51 -07:00
parent 24ad31df0d
commit a251b7a294
403 changed files with 1452321 additions and 1392261 deletions

View File

@@ -185,7 +185,7 @@ generateTests op directory init runner = do
| otherwise = getSizes oper rest | otherwise = getSizes oper rest
-- --
writer hndl size runner db x = writer hndl size runner db x =
do let (output, key, acc@(db',_)) = runner size db do let (output, key, acc@(db',gen')) = runner size db
before = Map.findWithDefault [] "RESULT" db' before = Map.findWithDefault [] "RESULT" db'
if length (filter (== key) before) >= 10 if length (filter (== key) before) >= 10
then writer hndl size runner acc x then writer hndl size runner acc x
@@ -193,7 +193,7 @@ generateTests op directory init runner = do
do hPutStrLn hndl (key ++ ": " ++ val) do hPutStrLn hndl (key ++ ": " ++ val)
let val = (x * 100) `div` numberOfTests let val = (x * 100) `div` numberOfTests
log ("\b\b\b\b" ++ pad 3 ' ' (show val) ++ "%") log ("\b\b\b\b" ++ pad 3 ' ' (show val) ++ "%")
return acc return (Map.insert "RESULT" (key : before) db', gen')
-- --
pad x c str | length str < x = pad x c (c : str) pad x c str | length str < x = pad x c (c : str)
| otherwise = str | otherwise = str

6006
testdata/add/U1024.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U1088.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U1152.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U1216.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

6006
testdata/add/U1536.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

6006
testdata/add/U1664.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U2048.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U2112.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U2176.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U2304.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U2432.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

6006
testdata/add/U4096.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U4160.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U4224.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U448.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U576.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

6006
testdata/add/U6208.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U768.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U8192.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U8256.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U832.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U8320.tests vendored

File diff suppressed because it is too large Load Diff

6006
testdata/add/U896.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

10790
testdata/base/U1024.tests vendored

File diff suppressed because it is too large Load Diff

10512
testdata/base/U1088.tests vendored

File diff suppressed because it is too large Load Diff

11160
testdata/base/U1152.tests vendored

File diff suppressed because it is too large Load Diff

10990
testdata/base/U1216.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

10704
testdata/base/U1280.tests vendored

File diff suppressed because it is too large Load Diff

11312
testdata/base/U1536.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

11224
testdata/base/U1600.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

10840
testdata/base/U1664.tests vendored

File diff suppressed because it is too large Load Diff

11268
testdata/base/U1728.tests vendored

File diff suppressed because it is too large Load Diff

5770
testdata/base/U192.tests vendored

File diff suppressed because it is too large Load Diff

11182
testdata/base/U2048.tests vendored

File diff suppressed because it is too large Load Diff

11272
testdata/base/U2112.tests vendored

File diff suppressed because it is too large Load Diff

11340
testdata/base/U2176.tests vendored

File diff suppressed because it is too large Load Diff

11130
testdata/base/U2240.tests vendored

File diff suppressed because it is too large Load Diff

11726
testdata/base/U2304.tests vendored

File diff suppressed because it is too large Load Diff

10868
testdata/base/U2368.tests vendored

File diff suppressed because it is too large Load Diff

11336
testdata/base/U2432.tests vendored

File diff suppressed because it is too large Load Diff

10912
testdata/base/U2496.tests vendored

File diff suppressed because it is too large Load Diff

6118
testdata/base/U256.tests vendored

File diff suppressed because it is too large Load Diff

11264
testdata/base/U3072.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

11404
testdata/base/U3136.tests vendored

File diff suppressed because it is too large Load Diff

6296
testdata/base/U320.tests vendored

File diff suppressed because it is too large Load Diff

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

Some files were not shown because too many files have changed in this diff Show More