Skip to content

Commit

Permalink
feat: add conflict error information to tman
Browse files Browse the repository at this point in the history
  • Loading branch information
halajohn committed Nov 3, 2024
1 parent 36baef3 commit acf7993
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions core/src/ten_manager/src/solver/main.lp
Original file line number Diff line number Diff line change
Expand Up @@ -15,10 +15,10 @@
% Version semantics
%-----------------------------------------------------------------------------

% If a package is selected (selected_pkg == true), then choose at most 2
% If a package is selected (selected_pkg == true), then choose at least 1
% versions (selected_pkg_version) from all available versions of that package
% (version_declared).
1 <= { selected_pkg_version(PkgType, PkgName, PkgVersion) : version_declared(PkgType, PkgName, PkgVersion, PkgWeight) } <= 2
1 <= { selected_pkg_version(PkgType, PkgName, PkgVersion) : version_declared(PkgType, PkgName, PkgVersion, PkgWeight) }
:- selected_pkg(PkgType, PkgName).

error(100, "Select more than 1 version of '[{0}]{1}': '@{2}' introduced by '[{4}]{5}@{6}', and '@{3}' introduced by '[{7}]{8}@{9}'",
Expand Down

0 comments on commit acf7993

Please sign in to comment.