From 508ecb3007a2b6aa8b76b28dc8282247b5dba957 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 19 Feb 2020 16:59:58 -0800 Subject: resource manager: Add statistic for every resource. (#3772) This commit adds statistics for all resource steps. A resource statistic is incremented by 1 if the resource is spent (via `spendResource`). Fixes #3751. --- src/theory/arith/theory_arith.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/arith/theory_arith.cpp') diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp index 6943c5546..8986e6894 100644 --- a/src/theory/arith/theory_arith.cpp +++ b/src/theory/arith/theory_arith.cpp @@ -83,7 +83,7 @@ void TheoryArith::ppStaticLearn(TNode n, NodeBuilder<>& learned) { } void TheoryArith::check(Effort effortLevel){ - getOutputChannel().spendResource(options::theoryCheckStep()); + getOutputChannel().spendResource(ResourceManager::Resource::TheoryCheckStep); d_internal->check(effortLevel); } -- cgit v1.2.3