Add lazy function with auto inferred type
#5101
Conversation
romainbrenguier
requested review from
kroening,
peterschrammel,
pkesseli,
smowton and
tautschnig
as code owners
romainbrenguier
force-pushed
the
feature/lazy
branch
from
63147b4 to
4ecb39d
Compare
romainbrenguier
force-pushed
the
feature/lazy
branch
from
4ecb39d to
0ac36d2
Compare
There was a problem hiding this comment.
✔️
Passed Diffblue compatibility checks (cbmc commit: 0ac36d2).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/126576035
Codecov Report
@@ Coverage Diff @@
## develop #5101 +/- ##
===========================================
+ Coverage 69.69% 69.69% +<.01%
===========================================
Files 1321 1321
Lines 109346 109360 +14
===========================================
+ Hits 76205 76219 +14
Misses 33141 33141
Continue to review full report at Codecov.
|
unit/util/lazy.cpp
Outdated
| auto lazy_length = | ||
| lazyt<int>::from_fun([&]() { return length_with_counter("foo"); }); | ||
| lazyt<std::size_t> lazy_length = | ||
| lazy([&] { return length_with_counter("foo"); }); |
There was a problem hiding this comment.
Why re-purpose a unit test?
There was a problem hiding this comment.
no good reason, I've now added this one as a new scenario instead.
romainbrenguier
force-pushed
the
feature/lazy
branch
from
0ac36d2 to
a6b952c
Compare
This allow to write `lazy(f)` and get the type of the object automatically inferred from the type of `f`.
romainbrenguier
force-pushed
the
feature/lazy
branch
from
a6b952c to
d5e6b59
Compare
There was a problem hiding this comment.
✔️
Passed Diffblue compatibility checks (cbmc commit: d5e6b59).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/126620423
This allow to write
lazy(f)and get the type of the objectautomatically inferred from the type of
f.