Autotest dregs

git-svn-id: svn://svn.valgrind.org/vex/trunk@797

diff --git a/VEX/orig_amd64/Compare.hs b/VEX/orig_amd64/Compare.hs
index 6ac6b665c3336a1a2e32a76a6127ebed7d86f622..66412677a133f7a6bd3d693c347571d49f8f7ac3 100644 (file)
--- a/VEX/orig_amd64/Compare.hs
+++ b/VEX/orig_amd64/Compare.hs
@@ -21,7 +21,7 @@ import Char ( isSpace )
 /home/sewardj/Tools/HugsInst/bin/runhugs Compare.hs | grep FAIL 
 -}
 
-main = mayn "test1.sorted" "out.txt"
+main = mayn "test2.sorted" "out.txt"
 
 mayn :: String -> String -> IO ()
 

diff --git a/VEX/orig_amd64/SortedToOrig.hs b/VEX/orig_amd64/SortedToOrig.hs
index 70925a9456e52216b2f5f9238052917e57298d0b..0d947b675432ef2bfe412408e4559c0e07a4fecf 100644 (file)
--- a/VEX/orig_amd64/SortedToOrig.hs
+++ b/VEX/orig_amd64/SortedToOrig.hs
@@ -2,12 +2,12 @@
 module Main where
 
 main 
-  = do x1 <- readFile "sorted3.txt"
+  = do x1 <- readFile "test2.sorted"
        let x2 = lines x1
            x3 = zip [1 ..] x2
            x4 = concat (map qq x3)
        --putStr x4
-       writeFile "test1.orig" x4
+       writeFile "test2.orig" x4
 
 
 qq :: (Int, String) -> String