HomeSoftware Heritage

SwhUnidirectionalGraph: fix copy() for labelled graphs

Description

SwhUnidirectionalGraph: fix copy() for labelled graphs

The copy() function called the constructor for unlabelled graphs, even
in the case of labelled graphs. This commit copies the labelled
graph too in the destination wrapper when it is not null.

Details

Provenance
seirlAuthored on Jun 1 2022, 4:53 PM
seirlPushed on Jun 1 2022, 4:54 PM
Parents
rDGRPHaaed82fc23e9: Documentation overhaul
Branches
Unknown
Tags
Unknown
Build Status
Buildable 29683
Build 46388: test-and-buildJenkins console · Jenkins