Renamed the RainUsageCheckTest module to UsageCheckTest
This commit is contained in:
parent
1edaacae89
commit
f4a294e989
|
@ -145,7 +145,7 @@ tocktest_SOURCES += TestMain.hs
|
|||
tocktest_SOURCES += backends/BackendPassesTest.hs
|
||||
tocktest_SOURCES += backends/GenerateCTest.hs
|
||||
tocktest_SOURCES += checks/ArrayUsageCheckTest.hs
|
||||
tocktest_SOURCES += checks/RainUsageCheckTest.hs
|
||||
tocktest_SOURCES += checks/UsageCheckTest.hs
|
||||
tocktest_SOURCES += common/CommonTest.hs
|
||||
tocktest_SOURCES += common/FlowGraphTest.hs
|
||||
tocktest_SOURCES += common/TestFramework.hs
|
||||
|
|
|
@ -36,7 +36,7 @@ with this program. If not, see <http://www.gnu.org/licenses/>.
|
|||
--
|
||||
-- * "RainTypesTest"
|
||||
--
|
||||
-- * "RainUsageCheckTest"
|
||||
-- * "UsageCheckTest"
|
||||
module TestMain () where
|
||||
|
||||
import Control.Monad
|
||||
|
@ -54,7 +54,7 @@ import qualified ParseRainTest (tests)
|
|||
import qualified PassTest (tests)
|
||||
import qualified RainPassesTest (tests)
|
||||
import qualified RainTypesTest (tests)
|
||||
import qualified RainUsageCheckTest (tests)
|
||||
import qualified UsageCheckTest (tests)
|
||||
import TestUtils
|
||||
import Utils
|
||||
|
||||
|
@ -129,7 +129,7 @@ main = do (opts, nonOpts, errs) <- getArgs >>* getOpt RequireOrder options
|
|||
,noqc PassTest.tests
|
||||
,noqc RainPassesTest.tests
|
||||
,noqc RainTypesTest.tests
|
||||
,noqc RainUsageCheckTest.tests
|
||||
,noqc UsageCheckTest.tests
|
||||
]
|
||||
|
||||
noqc :: Test -> IO (Test, [LabelledQuickCheckTest])
|
||||
|
|
|
@ -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/>.
|
||||
-}
|
||||
|
||||
module RainUsageCheckTest (tests) where
|
||||
module UsageCheckTest (tests) where
|
||||
|
||||
import Control.Monad.Identity
|
||||
import Data.Graph.Inductive
|
Loading…
Reference in New Issue
Block a user