Commit d964a0a0 authored by Jan Kiene's avatar Jan Kiene
Browse files

add script for creating ignorelist for ubsan

ignore all non-ivas_* files in ubsan for now
parent a679ac9e
Loading
Loading
Loading
Loading
Loading
+9 −0
Original line number Diff line number Diff line
import pathlib

all_c_files = pathlib.Path(".").glob("lib_*/*.c")
ivas_c_files = pathlib.Path(".").glob("lib_*/ivas*.c")
non_ivas_c_files = sorted(set(all_c_files) - set(ivas_c_files))

with open("ubsan_ignorelist.txt", "w") as f:
    for cfile in non_ivas_c_files:
        print(f"src:{cfile}", file=f)