{- | This is the main executable for running the Crux LLVM verification
   on LLVM BitCode objects that can be built from C and C++ sources
   using Clang and llvm-link. -}

module Main (main) where
import RealMain (main)