using SEAL
using Test

# Include files with example-specific tests
include("test_1_bfv_basics.jl")
include("test_2_encoders.jl")
include("test_3_levels.jl")
include("test_4_ckks_basics.jl")
include("test_5_rotation.jl")
include("test_6_serialization.jl")
include("test_extra.jl")
