From 1f9d5249a3518f228ee56d0e7b4f9a1f766d3686 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 28 Sep 2015 14:05:57 -0700 Subject: [PATCH] fix build break regarind z3test.py and added rlimit Signed-off-by: Nikolaj Bjorner --- src/api/python/z3.py | 8 ++++---- src/util/statistics.cpp | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index f561f82d7..5763db916 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -5640,7 +5640,7 @@ class Statistics: sat >>> st = s.statistics() >>> len(st) - 5 + 6 """ return int(Z3_stats_size(self.ctx.ref(), self.stats)) @@ -5654,7 +5654,7 @@ class Statistics: sat >>> st = s.statistics() >>> len(st) - 5 + 6 >>> st[0] ('nlsat propagations', 2) >>> st[1] @@ -5678,7 +5678,7 @@ class Statistics: sat >>> st = s.statistics() >>> st.keys() - ['nlsat propagations', 'nlsat stages', 'max memory', 'memory', 'num allocs'] + ['nlsat propagations', 'nlsat stages', 'rlimit count', 'max memory', 'memory', 'num allocs'] """ return [Z3_stats_get_key(self.ctx.ref(), self.stats, idx) for idx in range(len(self))] @@ -5715,7 +5715,7 @@ class Statistics: sat >>> st = s.statistics() >>> st.keys() - ['nlsat propagations', 'nlsat stages', 'max memory', 'memory', 'num allocs'] + ['nlsat propagations', 'nlsat stages', 'rlimit count', 'max memory', 'memory', 'num allocs'] >>> st.nlsat_propagations 2 >>> st.nlsat_stages diff --git a/src/util/statistics.cpp b/src/util/statistics.cpp index e1a0928fe..685a8abcc 100644 --- a/src/util/statistics.cpp +++ b/src/util/statistics.cpp @@ -238,5 +238,5 @@ void get_memory_statistics(statistics& st) { } void get_rlimit_statistics(reslimit& l, statistics& st) { - st.update("rlimit-count", l.count()); + st.update("rlimit count", l.count()); }