module SMT.Tests where

open import SMT.Tests.Rendering public
open import SMT.Tests.ProgressiveRendering public
open import SMT.Tests.AdvancedRendering public
open import SMT.Tests.ShowcaseRendering public
open import SMT.Tests.SystemsRendering public