Skip to content

Conversation

@yuleisui
Copy link
Collaborator

@yuleisui yuleisui commented Jan 6, 2026

No description provided.

Copilot AI review requested due to automatic review settings January 6, 2026 05:45
@yuleisui yuleisui merged commit 827254e into SVF-tools:master Jan 6, 2026
7 checks passed
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the LLVM dependency from version 16.0.0 to 18.1.0 and increments the SVF project version from 3.2 to 3.3.

  • Updates LLVM version reference in the setup script to use LLVM 18.1.0
  • Bumps SVF project version to 3.3 in the CMake configuration

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File Description
setup.sh Updates the default LLVM directory path to use LLVM 18.1.0 instead of 16.0.0
CMakeLists.txt Increments the SVF project version from 3.2 to 3.3

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@codecov
Copy link

codecov bot commented Jan 6, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 64.15%. Comparing base (6d94f81) to head (69876ae).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1782   +/-   ##
=======================================
  Coverage   64.15%   64.15%           
=======================================
  Files         243      243           
  Lines       24569    24569           
  Branches     4627     4627           
=======================================
  Hits        15762    15762           
  Misses       8807     8807           
🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant