mldiego
diff --git a/‎code/nnv/tests/nn/Prob_reach/m2nist_6484_test_images.mat‎
-387 KB b/‎code/nnv/tests/nn/Prob_reach/m2nist_6484_test_images.mat‎
-387 KB
diff --git a/‎code/nnv/tests/nn/Prob_reach/m2nist_dilated_72iou_24layer.mat‎
-25.1 MB b/‎code/nnv/tests/nn/Prob_reach/m2nist_dilated_72iou_24layer.mat‎
-25.1 MB
diff --git a/‎code/nnv/tests/nn/Prob_reach/test_CP.m‎
Lines changed: 1 addition & 0 deletions b/‎code/nnv/tests/nn/Prob_reach/test_CP.m‎
Lines changed: 1 addition & 0 deletions
diff --git a/‎code/nnv/tests/nn/Prob_reach/test_Prob_NN.m‎
Lines changed: 0 additions & 20 deletions b/‎code/nnv/tests/nn/Prob_reach/test_Prob_NN.m‎
Lines changed: 0 additions & 20 deletions
diff --git a/‎code/nnv/tests/nn/Prob_reach/test_Prob_class.m‎
Lines changed: 0 additions & 74 deletions b/‎code/nnv/tests/nn/Prob_reach/test_Prob_class.m‎
Lines changed: 0 additions & 74 deletions
diff --git a/‎code/nnv/tests/nn/Prob_reach/test_Prob_utils.m‎
Lines changed: 0 additions & 56 deletions b/‎code/nnv/tests/nn/Prob_reach/test_Prob_utils.m‎
Lines changed: 0 additions & 56 deletions
@@ -0,0 +1 @@
+run("../../../examples/NN/cifar10/CP_verify_robustness.m")
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+run("../../../examples/NN/cifar10/CP_verify_robustness.m")`