projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25fcfe3) | patch
Coverage fix
authormakaimann <makaim@stanford.edu>
Tue, 18 Apr 2017 15:49:17 +0000 (08:49 -0700)
committermakaimann <makaim@stanford.edu>
Tue, 18 Apr 2017 15:49:17 +0000 (08:49 -0700)
commitb32af0cc004b543704b37101fd281477e302eb5b
treef1a43ed7ec3414ff38187778921bf541bca1d9a7tree
parent25fcfe393d1d8808a866a5f1cfc4f7edf273316dcommit | diff
Coverage fix

Forcing some make variables to be absolute paths
lcov does not (officially) support relative paths
src/expr and src/options in particular were breaking it
src/expr/Makefile.am diff | blob | history
src/options/Makefile.am diff | blob | history