diff --git a/test/runtests.jl b/test/runtests.jl
index 2cd26c9..00c3b56 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -1035,6 +1035,7 @@ function test_moi_basic_fzn()
     index_map, _ = MOI.optimize!(solver, model)
     @test MOI.get(solver, MOI.TerminationStatus()) === MOI.OPTIMAL
     @test MOI.get(solver, MOI.ResultCount()) >= 1
+    @test MOI.get(solver, MOI.SolutionLimit()) == 1
     @test MOI.get(solver, MOI.VariablePrimal(), index_map[x]) in [1, 2, 3]
     @test MOI.get(solver, MOI.RawStatusString()) == "SATISFIABLE"
     return