fix typo [skip ci]

ADA-research · Aug 17, 2023 · 7995efc · 7995efc
1 parent eab5704
commit 7995efc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/autoverify/util/vnncomp.py b/autoverify/util/vnncomp.py
@@ -32,7 +32,7 @@ def inst_bench_to_verifier(
     elif verifier == "verinet":
         if benchmark == "acasxu":
             return Verinet(transpose_matmul_weights=True)
-        elif benchmark == "cifar202":
+        elif benchmark == "cifar2020":
             if instance.network.name.find("convBigRELU") >= 0:
                 return Verinet(dnnv_simplify=True)
         elif benchmark == "cifar100_tinyimagenet_resnet":