-- |
-- 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_Full where

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

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