Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Valentin Touzeau
lruzdd
Commits
e424a28f
Commit
e424a28f
authored
Apr 25, 2019
by
Valentin Touzeau
Browse files
Improves chrono resolution
parent
f76d0562
Changes
4
Show whitespace changes
Inline
Side-by-side
src/MayAnalysis/GlobalMayAnalysis.cpp
View file @
e424a28f
...
...
@@ -154,9 +154,9 @@ protected:
}
auto
end
=
std
::
chrono
::
system_clock
::
now
();
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
seconds
>
(
end
-
start
);
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
milli
seconds
>
(
end
-
start
);
if
(
logFor
(
LOG_FUN
))
log
<<
"
\t
Exact Global May Analysis running time: "
<<
elapsed
.
count
()
<<
" s"
<<
io
::
endl
;
log
<<
"
\t
Exact Global May Analysis running time: "
<<
elapsed
.
count
()
<<
"
m
s"
<<
io
::
endl
;
// for(int i = 0; i < m_coll->size(); ++i) {
// const icat3::LBlockSet& s = (*m_coll)[i];
...
...
src/MayAnalysis/MayAnalysis.cpp
View file @
e424a28f
...
...
@@ -164,9 +164,9 @@ protected:
processLBlock
(
lb
);
auto
end
=
std
::
chrono
::
system_clock
::
now
();
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
seconds
>
(
end
-
start
);
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
milli
seconds
>
(
end
-
start
);
if
(
logFor
(
LOG_FUN
))
log
<<
"
\t
Exact May Analysis running time: "
<<
elapsed
.
count
()
<<
" s"
<<
io
::
endl
;
log
<<
"
\t
Exact May Analysis running time: "
<<
elapsed
.
count
()
<<
"
m
s"
<<
io
::
endl
;
// for(int i = 0; i < m_coll->size(); ++i) {
// const icat3::LBlockSet& s = (*m_coll)[i];
...
...
src/MustAnalysis/GlobalMustAnalysis.cpp
View file @
e424a28f
...
...
@@ -154,9 +154,9 @@ protected:
}
auto
end
=
std
::
chrono
::
system_clock
::
now
();
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
seconds
>
(
end
-
start
);
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
milli
seconds
>
(
end
-
start
);
if
(
logFor
(
LOG_FUN
))
log
<<
"
\t
Exact Global Must Analysis running time: "
<<
elapsed
.
count
()
<<
" s"
<<
io
::
endl
;
log
<<
"
\t
Exact Global Must Analysis running time: "
<<
elapsed
.
count
()
<<
"
m
s"
<<
io
::
endl
;
// for(int i = 0; i < m_coll->size(); ++i) {
// const icat3::LBlockSet& s = (*m_coll)[i];
...
...
src/MustAnalysis/MustAnalysis.cpp
View file @
e424a28f
...
...
@@ -164,9 +164,9 @@ protected:
processLBlock
(
lb
);
auto
end
=
std
::
chrono
::
system_clock
::
now
();
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
seconds
>
(
end
-
start
);
auto
elapsed
=
std
::
chrono
::
duration_cast
<
std
::
chrono
::
milli
seconds
>
(
end
-
start
);
if
(
logFor
(
LOG_FUN
))
log
<<
"
\t
Exact Must Analysis running time: "
<<
elapsed
.
count
()
<<
" s"
<<
io
::
endl
;
log
<<
"
\t
Exact Must Analysis running time: "
<<
elapsed
.
count
()
<<
"
m
s"
<<
io
::
endl
;
// for(int i = 0; i < m_coll->size(); ++i) {
// const icat3::LBlockSet& s = (*m_coll)[i];
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment