suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Altered the name of the exported ArrayUsageCheckTest function to match the new convention

Browse Source
This commit is contained in:
Neil Brown 2008-01-23 13:59:38 +00:00
parent 9c9295fd74
commit 6f4146a4f3
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
TestMain.hs
View File

@ -45,7 +45,7 @@ import System.Environment
import System.IO import System.IO
import Test.HUnit import Test.HUnit
import qualified ArrayUsageCheckTest (qcTests) import qualified ArrayUsageCheckTest (ioqcTests)
import qualified BackendPassesTest (tests) import qualified BackendPassesTest (tests)
import qualified CommonTest (tests) import qualified CommonTest (tests)
import qualified FlowGraphTest (qcTests) import qualified FlowGraphTest (qcTests)
@ -116,7 +116,7 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options
qcTests = concatMapM (liftM snd) tests qcTests = concatMapM (liftM snd) tests
tests = [ tests = [
ArrayUsageCheckTest.qcTests ArrayUsageCheckTest.ioqcTests
,noqc BackendPassesTest.tests ,noqc BackendPassesTest.tests
,noqc CommonTest.tests ,noqc CommonTest.tests
,return FlowGraphTest.qcTests ,return FlowGraphTest.qcTests

6
transformations/ArrayUsageCheckTest.hs
View File

@ -16,7 +16,7 @@ You should have received a copy of the GNU General Public License along
with this program. If not, see <http://www.gnu.org/licenses/>. with this program. If not, see <http://www.gnu.org/licenses/>.
-} -}
module ArrayUsageCheckTest (qcTests) where module ArrayUsageCheckTest (ioqcTests) where
import Control.Monad.Identity import Control.Monad.Identity
import Data.Array.IArray import Data.Array.IArray
@ -759,8 +759,8 @@ qcOmegaPrune = [scaleQC (100,1000,10000,50000) prop]
result = undefined -- TODO replace solveAndPrune: solveProblem [] inp result = undefined -- TODO replace solveAndPrune: solveProblem [] inp
-} -}
qcTests :: IO (Test, [QuickCheckTest]) ioqcTests :: IO (Test, [QuickCheckTest])
qcTests ioqcTests
= do usageCheckTest1 <- automaticTest "testcases/automatic/usage-check-1.occ.test" = do usageCheckTest1 <- automaticTest "testcases/automatic/usage-check-1.occ.test"
usageCheckTest2 <- automaticTest "testcases/automatic/usage-check-2.occ.test" usageCheckTest2 <- automaticTest "testcases/automatic/usage-check-2.occ.test"
return return