Open l-kent opened 2 weeks ago
BAP can sometimes produce multiple blocks in a procedure that have the same name, such as in tests/correct/syscall/gcc_O2. This can cause problems as we do not make sure the blocks have unique names but we rely on the blocks having unique names.
BAP can sometimes produce multiple blocks in a procedure that have the same name, such as in tests/correct/syscall/gcc_O2. This can cause problems as we do not make sure the blocks have unique names but we rely on the blocks having unique names.