projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 64a8b1b) | patch
Add dummy returns if libpoly is unavailable. (#4845)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 5 Aug 2020 02:32:10 +0000 (04:32 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Aug 2020 02:32:10 +0000 (21:32 -0500)
commitc324bb21adb44374eb37a0254e31c0a0d0b3ebc7
treec9650b2f5160a356d7434253215f9070869f53f0tree
parent64a8b1b205ccc793865bacf2b4388c534dc2f16dcommit | diff
Add dummy returns if libpoly is unavailable. (#4845)

This PR adds dummy return statements do CadSolver in case libpoly is not available.
src/theory/arith/nl/cad_solver.cpp diff | blob | history