Added support for outputing line numbers visited by a path in test*.l…

ApproxSymate / klee

KLEE Symbolic Virtual Machine for Numerical Precision Analysis

Other

0 stars 0 forks source link

Closed domainexpert closed 6 years ago

domainexpert commented 7 years ago

…ines file.

Use --line-numbers to activate.

Added SymbolicError::lineNumbers member variable,
Added SymbolicError::addLineNumber() and SymbolicError::getLineNumbers() member functions
Added outputting the line numbers into test*.lines file in KLEE's main.cpp

Resolves #48.

domainexpert commented 6 years ago

I think this PR is no longer relevant.