fixed neurify, passed runtests

sisl · Apr 20, 2020 · 5d807b2 · 5d807b2
1 parent 4d5749d
commit 5d807b2
Showing 1 changed file with 14 additions and 3 deletions.
diff --git a/test/runtests2.jl b/test/runtests2.jl
@@ -1,5 +1,6 @@
 
 using NeuralVerification
+using LazySets
 using Test
 
 macro no_error(ex)
@@ -35,10 +36,13 @@ inputSet = Hyperrectangle(low=input_low, high=input_high)
 outputSet = Hyperrectangle(low=output_low, high=output_high)
 
 problem_hyperrect_small = Problem(mnist_small, inputSet, outputSet)
-solver_reluVal = ReluVal(max_iter = 2)
 
+solver_reluVal = ReluVal(max_iter = 2)
 @test @no_error solve(solver_reluVal, problem_hyperrect_small)
 
+solver_neurify = Neurify(max_iter = 2)
+@test @no_error solve(solver_neurify, problem_hyperrect_small)
+
 solver_reluplex=Reluplex()
 @test @no_error solve(solver_reluplex, problem_hyperrect_small)
 
@@ -64,10 +68,14 @@ inputSet = Hyperrectangle(low=input_low, high=input_high)
 outputSet = Hyperrectangle(low=output_low, high=output_high)
 
 problem_hyperrect_deep = Problem(mnist_large, inputSet, outputSet)
-solver_reluVal = ReluVal(max_iter = 2)
 
+solver_reluVal = ReluVal(max_iter = 2)
 @test @no_error solve(solver_reluVal, problem_hyperrect_deep)
 
+solver_neurify = Neurify(max_iter = 2)
+@test @no_error solve(solver_neurify, problem_hyperrect_deep)
+
+
 solver_reluplex=Reluplex()
 @test @no_error solve(solver_reluplex, problem_hyperrect_deep)
 
@@ -90,9 +98,12 @@ inputSet = Hyperrectangle(low=input_low, high=input_high)
 outputSet = Hyperrectangle(low=output_low, high=output_high)
 
 problem_hyperrect_wide = Problem(mnist_wide, inputSet, outputSet)
-solver_reluVal = ReluVal(max_iter = 2)
 
+solver_reluVal = ReluVal(max_iter = 2)
 @test @no_error solve(solver_reluVal, problem_hyperrect_wide)
 
+solver_neurify = Neurify(max_iter = 2)
+@test @no_error solve(solver_neurify, problem_hyperrect_wide)
+
 solver_reluplex=Reluplex()
 @test @no_error solve(solver_reluplex, problem_hyperrect_wide)