Changed the lines from 4 to 3.

NASA-SW-VnV#203
PhilipBotha · Nov 1, 2023 · fc95883 · fc95883
1 parent da4a4bf
commit fc95883
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/analyzer/python/ikos/scan.py b/analyzer/python/ikos/scan.py
@@ -571,7 +571,7 @@ def extract_bitcode(exe_path, bc_path):
     output = check_output(cmd)
     section_content = b''
 
-    for line in itertools.islice(output.splitlines(), 4, None):
+    for line in itertools.islice(output.splitlines(), 3, None):
         n = line.find(b' ', 1)
         line = line[n + 1:n + 36]
         for item in line.split(b' '):