reducealgebra.jl/test/runtests.jl

using ReduceAlgebra
using Test, Pkg

# write your own tests here
@test (Pkg.test("Reduce"); true)
@test (Pkg.test("ReduceLinAlg"); true)