« Welcome to VaRA’s documentation! :: Contents :: How to setup VaRA »
VaRA is a variablity aware region analyzer framework for LLVM.
Contents: