diff --git a/test/views/names_view.cpp b/test/views/names_view.cpp index 8524070f5..fa9cff7a2 100644 --- a/test/views/names_view.cpp +++ b/test/views/names_view.cpp @@ -74,6 +74,10 @@ TEST_CASE( "create names view and test API", "[names_view]" ) template void test_copy_names_view() { + Ntk ntk_empty; + names_view new_named_ntk_empty = ntk_empty; + CHECK( new_named_ntk_empty.get_network_name() == "" ); + Ntk ntk; auto const a = ntk.create_pi(); auto const b = ntk.create_pi();