module SMT.Unsafe.Everything where

-- Typechecking this module runs every normal ff-smt-unsafe check.
import SMT.Unsafe.AdvancedAssume
import SMT.Unsafe.Assume
import SMT.Unsafe.Examples
import SMT.Unsafe.ProgressiveAssume
import SMT.Unsafe.ShowcaseAssume
import SMT.Unsafe.SystemsAssume
import SMT.Unsafe.Tests
import SMT.Unsafe.Tests.Advanced
import SMT.Unsafe.Tests.Integration
import SMT.Unsafe.Tests.Progressive
import SMT.Unsafe.Tests.RawAdvanced
import SMT.Unsafe.Tests.RawFeatures
import SMT.Unsafe.Tests.Showcase
import SMT.Unsafe.Tests.Systems
import SMT.Unsafe.Z3