Fix bug on exporting index to value for vnnlib

mldiego · Dec 21, 2023 · 044b59a · 044b59a
1 parent d13897d
commit 044b59a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/code/nnv/engine/utils/export2vnnlib.m b/code/nnv/engine/utils/export2vnnlib.m
@@ -106,7 +106,10 @@ function export2vnnlib(lb, ub, outsize, property, name)
     % Outputs a string to write in the vnnlib file
 
     locs = find(hRow ~= 0); % Find indexes that are not zero
-    if hVal == 0 % Compare two indexes
+    if length(locs) > 1
+        if hVal ~= 0 % Compare two indexes
+            error("Only allowed index to index comparison, or 1 index to value, but not both.")
+        end
         if hRow(locs(1)) > 0 % 
             str = "(>= Y_"+string(locs(2)-1) + " " + "Y_"+string(locs(1)-1)+ "))";
         else