clear merge

MekAkUActOR · Nov 26, 2022 · fe969a1 · fe969a1
1 parent 5c8665d
commit fe969a1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/code/verifier.py b/code/verifier.py
@@ -275,17 +275,17 @@ def main():
 
     inputs, true_label, eps = get_spec(args.spec, dataset)
     net = get_net(args.net, net_name)
-    # print(net)
+    print(net)
 
     outs = net(inputs)
     pred_label = outs.max(dim=1)[1].item()
     assert pred_label == true_label
-    # '''
+    '''
     if analyze(net, inputs, eps, true_label):
         print('verified')
     else:
         print('not verified')
-    # '''
+    '''
 
 if __name__ == '__main__':
     main()