projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b4d699) | patch
Add get-info :time. (#5485)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Mon, 23 Nov 2020 07:55:03 +0000 (08:55 +0100)
committerGitHub <noreply@github.com>
Mon, 23 Nov 2020 07:55:03 +0000 (08:55 +0100)
commit961af5e182f65c976424fd2adc22fc9bd484f73c
tree30cac36f195d0899fa4592c778f4547c830e0615tree
parent2b4d6997eec82dce3832a449eea00f94af420f8acommit | diff
Add get-info :time. (#5485)

This PR adds the new info `:time` that can be queried with `(get-info :time)` and returns the spent CPU time (as returned by `std::clock()`.
 @pjljvandelaar
Fixes CVC4/CVC4-projects#102
src/smt/smt_engine.cpp diff | blob | history