tamarin-prover-0.4.0.0: src/Main_NoGui.hs

-- |
-- Copyright   : (c) 2010, 2011 Benedikt Schmidt & Simon Meier
-- License     : GPL v3 (see LICENSE)
-- 
-- Maintainer  : Simon Meier <iridcode@gmail.com>
-- Portability : GHC only
--
-- Main module for the Tamarin prover without a GUI
module Main_NoGui where

import Main.Console         (defaultMain)
import Main.Mode.Batch      (batchMode)
import Main.Mode.Intruder   (intruderMode)
import Main.Mode.Test       (testMode)

main :: IO ()
main = defaultMain batchMode [intruderMode, testMode]