projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe18be6) | patch
Update includes to use cvc4 top-level directory in examples (#2877)
authormakaimann <makaim@stanford.edu>
Mon, 1 Apr 2019 20:22:04 +0000 (13:22 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 1 Apr 2019 20:22:04 +0000 (13:22 -0700)
commitae536749a2342e51c450deb62a13d5cfda965881
tree4443235fd058fdfc47426aa704a460b1ddf810a5tree
parentfe18be6fe6ac58bf6ccdb1ca18c7fae2de881aaacommit | diff
Update includes to use cvc4 top-level directory in examples (#2877)

Because the headers are now installed in a `cvc4` directory, the examples need to include from there as well.
examples/api/bitvectors-new.cpp diff | blob | history
examples/api/bitvectors_and_arrays-new.cpp diff | blob | history
examples/api/combination-new.cpp diff | blob | history
examples/api/datatypes-new.cpp diff | blob | history
examples/api/extract-new.cpp diff | blob | history
examples/api/helloworld-new.cpp diff | blob | history
examples/api/linear_arith-new.cpp diff | blob | history
examples/api/sets-new.cpp diff | blob | history
examples/api/strings-new.cpp diff | blob | history