Add unit test for the lazyt class

This tests that the force function returns the expected result and the
evalution function is not called more than necessary.

Author: romainbrenguier

unit/Makefile

@@ -74,6 +74,7 @@ SRC += analyses/ai/ai.cpp \
        util/irep_sharing.cpp \
        util/json_array.cpp \
        util/json_object.cpp \
+       util/lazy.cpp \
        util/memory_info.cpp \
        util/message.cpp \
        util/optional.cpp \

unit/util/lazy.cpp

@@ -0,0 +1,29 @@
+/*******************************************************************\
+
+Module: Unit tests for lazy
+
+Author: Romain Brenguier, [email protected]
+
+\*******************************************************************/
+
+#include <testing-utils/use_catch.h>
+#include <util/lazy.h>
+
+SCENARIO("lazy test", "[core][util][lazy]")
+{
+  std::size_t call_counter = 0;
+  auto length_with_counter = [&call_counter](const std::string &s) {
+    ++call_counter;
+    return s.length();
+  };
+  auto lazy_length =
+    lazyt<int>::from_fun([&]() { return length_with_counter("foo"); });
+
+  REQUIRE(call_counter == 0);
+  auto result = lazy_length.force();
+  REQUIRE(call_counter == 1);
+  REQUIRE(result == 3);
+  result = lazy_length.force();
+  REQUIRE(call_counter == 1);
+  REQUIRE(result == 3);
+}