svf-tools
Version:
* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.
47 lines (40 loc) • 1.44 kB
Plain Text
/**
* SVF instance configuration header
*
* WARNING: This file is automatically generated; changes will be overwritten!
*
*/
// Expose base properties of this SVF instance
// Expose configurable build options for this SVF instance
// Expose the source/build locations of this SVF instance; only for legacy
// use-cases; should not be used directly by end users!
// Define fallback for installed extapi.bc location to build tree's extapi.bc