Closed TWal closed 1 month ago
Some part of the code use the name "label" for piece of data that are used to disambiguate things. As mentioned by @cwaldm (https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/12#issuecomment-2092901645) we should rather be using the name "tag" for this kind of usage, to avoid any ambiguities.
Fixed by #16, thanks @cwaldm!
Some part of the code use the name "label" for piece of data that are used to disambiguate things. As mentioned by @cwaldm (https://github.com/REPROSEC/dolev-yao-star-extrinsic/issues/12#issuecomment-2092901645) we should rather be using the name "tag" for this kind of usage, to avoid any ambiguities.