Add print of save file location

src/QuickCheckVEngine/Main.hs

@@ -282,7 +282,7 @@
   let csrFilter idx = checkRegex (csrIncludeRegex flags) (csrExcludeRegex flags) (fromMaybe "reserved" $ csrs_nameFromIndex idx)
   let testParams = T.TestParams { T.archDesc  = archDesc
                                 , T.csrFilter = csrFilter }
   -- initialize model and implementation sockets
   implA <- rvfiDiiOpen (impAIP flags) (impAPort flags) (optVerbosity flags) "implementation-A"
   m_implB <- if optSingleImp flags then return Nothing else Just <$> rvfiDiiOpen (impBIP flags) (impBPort flags) (optVerbosity flags) "implementation-B"
 
@@ -300,7 +300,7 @@
               testSuffix = noShrink $ singleSeq [ csrrs 1 (unsafe_csrs_indexFromName "mcause") 0
                                                 , csrrs 1 (unsafe_csrs_indexFromName "mtval" ) 0
                                                 , csrrs 1 (unsafe_csrs_indexFromName "mccsr" ) 0 ]
               p (DII_End _, _, _) = False
               p _ = True
   let askAndSave sourceFile contents m_trace testTrans = do
         writeFile "last_failure.S" ("# last failing test case:\n" ++ contents)
@@ -322,10 +322,12 @@
             Just dir -> do
               t <- getCurrentTime
               let tstamp = [if x == ' ' then '_' else if x == ':' then '-' else x | x <- show t]
+              let fname = dir ++ "/failure-" ++ tstamp ++ ".S"
               let prelude = case sourceFile of
                               Just name -> "# Generated from input file: " ++ show name ++ "\n"
                               Nothing   -> "# Automatically generated failing test case\n"
-              writeFile (dir ++ "/failure-" ++ tstamp ++ ".S") (prelude ++ contents)
+              putStrLn $ "Writing counterexample file to: " ++ fname
+              writeFile fname (prelude ++ contents)
   let saveOnFail :: Maybe FilePath -> Test TestResult -> (Test TestResult -> Test TestResult) -> IO ()
       saveOnFail sourceFile test testTrans = runImpls implA m_implB alive (timeoutDelay flags) 0 test onTrace onDeath onDeath
         where onDeath test = do putStrLn "Failure rerunning test"
@@ -340,7 +342,7 @@
   let checkFile (memoryInitFile :: Maybe FilePath) (skipped :: Int) (fileName :: FilePath)
         | skipped == 0 = do putStrLn $ "Reading trace from " ++ fileName
                             trace <- read <$> readFile fileName
                             initTrace <- case memoryInitFile of
                               Just memInit -> do putStrLn $ "Reading memory initialisation from file " ++ memInit
                                                  readDataFile testParams memInit
                               Nothing -> return mempty
@@ -380,7 +382,7 @@
                         putStrLn $ "Warning: skipping " ++ label ++ " since architecture requirements not met"
                     repeatTillTarget f t = if t <= 0 then return () else f t >>= (\x -> repeatTillTarget f (t - x))
             Just sock -> do
               doCheck (liftM (wrapTest . singleSeq . (MkInstruction <$>)) $ listOf (genInstrServer sock)) (nTests flags)
               return ()
   --
   rvfiDiiClose implA