max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(library/vm/vm): style

Browse source
This commit is contained in:
Leonardo de Moura 2016-11-04 09:55:20 -07:00
parent 1aacf1f20b
commit 1dcc21525a
2 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/vm/vm.cpp
View file

@ -2339,7 +2339,7 @@ auto vm_state::profiler::get_snapshots() -> snapshots {
for (auto & cum_time_entry : cum_times) r.m_cum_times.push_back(cum_time_entry);
std::sort(r.m_cum_times.begin(), r.m_cum_times.end(),
[] (std::pair<name, chrono::milliseconds> & a, std::pair<name, chrono::milliseconds> & b) {
[] (pair<name, chrono::milliseconds> & a, pair<name, chrono::milliseconds> & b) {
return b.second < a.second; });
return r;

14
src/library/vm/vm.h
View file

@ -624,8 +624,8 @@ public:
class profiler {
typedef std::unique_ptr<interruptible_thread> thread_ptr;
struct snapshot_core {
chrono::milliseconds m_duration;
std::vector<std::pair<unsigned, unsigned>> m_stack;
chrono::milliseconds m_duration;
std::vector<pair<unsigned, unsigned>> m_stack;
};
vm_state & m_state;
atomic<bool> m_stop;
@ -638,14 +638,14 @@ public:
~profiler();
struct snapshot {
chrono::milliseconds m_duration;
std::vector<std::pair<name, unsigned>> m_stack;
chrono::milliseconds m_duration;
std::vector<pair<name, unsigned>> m_stack;
};
struct snapshots {
std::vector<snapshot> m_snapshots;
std::vector<std::pair<name, chrono::milliseconds>> m_cum_times;
chrono::milliseconds m_total_time;
std::vector<snapshot> m_snapshots;
std::vector<pair<name, chrono::milliseconds>> m_cum_times;
chrono::milliseconds m_total_time;
void display(std::ostream & out) const;
};
bool enabled() const { return m_thread_ptr.get() != nullptr; }