Added library alias #85

Merged

mikucionisaau merged 1 commit into

UPPAALModelChecker:mainfrom

mikucionisaau:cmake-target-alias

Oct 17, 2025

Commits on Oct 17, 2025

Added library alias in case the library is not exported-imported through namespace
mikucionisaau
committed