Skip to content

Commit eafb71d

Browse files
kit-ty-katekit-ty-kate
committed
Update the testsuite
1 parent f99aa86 commit eafb71d

1 file changed

Lines changed: 12 additions & 12 deletions

File tree

‎tests/reftests/opamroot-versions.test‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -662,7 +662,7 @@ FMT_UPG Format upgrade done
662662
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
663663
RSTATE Cache found
664664
STATE LOAD-SWITCH-STATE @ sw-sys-comp
665-
STATE Inferred invariant: from base packages { i-am-sys-compiler.1 }, (roots { i-am-sys-compiler.1 }) => ["i-am-sys-compiler"]
665+
STATE Inferred invariant: from base packages { i-am-sys-compiler.1 }, (roots { i-am-sys-compiler.1 }) => ["i-am-sys-compiler" {= "1"}]
666666
STATE Switch state loaded in 0.000s
667667
# Packages matching: installed
668668
# Name # Installed # Synopsis
@@ -679,7 +679,7 @@ RSTATE Cache found
679679
STATE LOAD-SWITCH-STATE @ sw-comp
680680
STATE Definition missing for installed package i-am-compiler.2, copying from repo
681681
STATE Definition missing for installed package i-am-package.2, copying from repo
682-
STATE Inferred invariant: from base packages { i-am-compiler.2 }, (roots { i-am-compiler.2 }) => ["i-am-compiler" {>= "2"}]
682+
STATE Inferred invariant: from base packages { i-am-compiler.2 }, (roots { i-am-compiler.2 }) => ["i-am-compiler" {= "2"}]
683683
STATE Switch state loaded in 0.000s
684684
STATE Detected changed packages (marked for reinstall): {}
685685
The following actions will be performed:
@@ -715,7 +715,7 @@ opam-version: "2.0"
715715
repositories: "default"
716716
switch: "sw-comp"
717717
### opam-cat $OPAMROOT/sw-comp/.opam-switch/switch-config
718-
invariant: ["i-am-compiler" {>= "2"}]
718+
invariant: ["i-am-compiler" {= "2"}]
719719
opam-version: "2.0"
720720
synopsis: "switch with compiler"
721721
paths {
@@ -739,7 +739,7 @@ FMT_UPG Format upgrade done
739739
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
740740
RSTATE Cache found
741741
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
742-
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
742+
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"}]
743743
STATE Switch state loaded in 0.000s
744744
# Packages matching: installed
745745
# Name # Installed # Synopsis
@@ -754,7 +754,7 @@ RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
754754
RSTATE Cache found
755755
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
756756
STATE Definition missing for installed package i-am-sys-compiler.2, copying from repo
757-
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
757+
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"}]
758758
STATE Switch state loaded in 0.000s
759759
STATE Detected changed packages (marked for reinstall): {}
760760
The following actions will be performed:
@@ -787,7 +787,7 @@ opam-version: "2.0"
787787
repositories: "default"
788788
switch: "sw-sys-comp"
789789
### opam-cat _opam/.opam-switch/switch-config
790-
invariant: ["i-am-sys-compiler"]
790+
invariant: ["i-am-sys-compiler" {= "2"}]
791791
opam-root: "${BASEDIR}/OPAM"
792792
opam-version: "2.0"
793793
synopsis: "local switch"
@@ -813,7 +813,7 @@ FMT_UPG Format upgrade done
813813
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
814814
RSTATE Cache found
815815
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
816-
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
816+
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"}]
817817
STATE Switch state loaded in 0.000s
818818
# Packages matching: installed
819819
# Name # Installed # Synopsis
@@ -827,7 +827,7 @@ RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
827827
RSTATE Cache found
828828
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
829829
STATE Definition missing for installed package i-am-sys-compiler.2, copying from repo
830-
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
830+
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"}]
831831
STATE Switch state loaded in 0.000s
832832
STATE Detected changed packages (marked for reinstall): {}
833833
The following actions will be performed:
@@ -860,7 +860,7 @@ opam-version: "2.0"
860860
repositories: "default"
861861
switch: "sw-sys-comp"
862862
### opam-cat _opam/.opam-switch/switch-config
863-
invariant: ["i-am-sys-compiler"]
863+
invariant: ["i-am-sys-compiler" {= "2"}]
864864
opam-root: "${BASEDIR}/OPAM"
865865
opam-version: "2.0"
866866
synopsis: "local switch"
@@ -883,7 +883,7 @@ GSTATE LOAD-GLOBAL-STATE @ ${BASEDIR}/OPAM
883883
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
884884
RSTATE Cache found
885885
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
886-
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
886+
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"}]
887887
STATE Switch state loaded in 0.000s
888888
# Packages matching: installed
889889
# Name # Installed # Synopsis
@@ -894,7 +894,7 @@ GSTATE LOAD-GLOBAL-STATE @ ${BASEDIR}/OPAM
894894
RSTATE LOAD-REPOSITORY-STATE @ ${BASEDIR}/OPAM
895895
RSTATE Cache found
896896
STATE LOAD-SWITCH-STATE @ ${BASEDIR}
897-
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler"]
897+
STATE Inferred invariant: from base packages { i-am-sys-compiler.2 }, (roots { i-am-sys-compiler.2 }) => ["i-am-sys-compiler" {= "2"}]
898898
STATE Switch state loaded in 0.000s
899899
STATE Detected changed packages (marked for reinstall): {}
900900
The following actions will be performed:
@@ -921,7 +921,7 @@ opam-version: "2.0"
921921
repositories: "default"
922922
switch: "sw-sys-comp"
923923
### opam-cat _opam/.opam-switch/switch-config
924-
invariant: ["i-am-sys-compiler"]
924+
invariant: ["i-am-sys-compiler" {= "2"}]
925925
opam-root: "${BASEDIR}/OPAM"
926926
opam-version: "2.0"
927927
synopsis: "local switch"

0 commit comments

Comments
 (0)