From 5d807b2a53bddcc1c97263b12027e6a40cc71b4b Mon Sep 17 00:00:00 2001 From: wei-tianhao Date: Mon, 20 Apr 2020 00:41:14 -0400 Subject: [PATCH] fixed neurify, passed runtests --- test/runtests2.jl | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/test/runtests2.jl b/test/runtests2.jl index d1c323ad..d5523163 100644 --- 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) \ No newline at end of file