Restore Ubuntu build.sh CI by adapting SVFIR bindings to current SVF constant-var types#62

yuleisui with Copilot wants to merge 3 commits into

mainSVF-tools/SVF-Python:mainfrom

copilot/fix-failing-github-actions-jobSVF-tools/SVF-Python:copilot/fix-failing-github-actions-jobCopy head branch name to clipboard