sbt-instrumentation icon indicating copy to clipboard operation
sbt-instrumentation copied to clipboard
verified publisher icon staticafi

VR: use fixed and refactored version

Open GiraffeReversed opened this issue 4 years ago • 0 comments

Known issues:

  • due to splitting the analysis source files to .h and .cpp, I changed the way the resulting libraries are linked to the ValueRelationsPlugin and also to the new vr_tests; the way is probably not the desired one, since it requires the variable CMAKE_INSTALL_LIBDIR to be set with the path to the dg install directory (which probably misuses the CMake in several ways that I know little about)

Related PR to dg: https://github.com/mchalupa/dg/pull/403

GiraffeReversed avatar Oct 05 '21 11:10 GiraffeReversed