Skip to content

Commit

Permalink
Fix test suite coqdep outputs
Browse files Browse the repository at this point in the history
  • Loading branch information
@SkySkimmer
SkySkimmer committed Dec 2, 2024
1 parent 8555b11 commit c026c9d
Show file tree
Hide file tree
Showing 7 changed files with 13 additions and 13 deletions.
12 changes: 6 additions & 6 deletions test-suite/misc/coqdep-require-filter-categories/stdout.ref
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
fA.vo fA.glob fA.v.beautified fA.required_vo: fA.v @COQWORKER@
fB.vo fB.glob fB.v.beautified fB.required_vo: fB.v @COQWORKER@ fA.vo
fC.vo fC.glob fC.v.beautified fC.required_vo: fC.v @COQWORKER@ fB.vo
fD.vo fD.glob fD.v.beautified fD.required_vo: fD.v @COQWORKER@ fA.vo
fE.vo fE.glob fE.v.beautified fE.required_vo: fE.v @COQWORKER@ fA.vo
fF.vo fF.glob fF.v.beautified fF.required_vo: fF.v @COQWORKER@ fA.vo
fG.vo fG.glob fG.v.beautified fG.required_vo: fG.v @COQWORKER@ fA.vo
fB.vo fB.glob fB.v.beautified fB.required_vo: fB.v fA.vo @COQWORKER@
fC.vo fC.glob fC.v.beautified fC.required_vo: fC.v fB.vo @COQWORKER@
fD.vo fD.glob fD.v.beautified fD.required_vo: fD.v fA.vo @COQWORKER@
fE.vo fE.glob fE.v.beautified fE.required_vo: fE.v fA.vo @COQWORKER@
fF.vo fF.glob fF.v.beautified fF.required_vo: fF.v fA.vo @COQWORKER@
fG.vo fG.glob fG.v.beautified fG.required_vo: fG.v fA.vo @COQWORKER@
2 changes: 1 addition & 1 deletion test-suite/misc/deps/DistinctRootDeps.out
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
DistinctRoot/A/File1.vo DistinctRoot/A/File1.glob DistinctRoot/A/File1.v.beautified DistinctRoot/A/File1.required_vo: DistinctRoot/A/File1.v @COQWORKER@
DistinctRoot/B/File1.vo DistinctRoot/B/File1.glob DistinctRoot/B/File1.v.beautified DistinctRoot/B/File1.required_vo: DistinctRoot/B/File1.v @COQWORKER@
DistinctRoot/File2.vo DistinctRoot/File2.glob DistinctRoot/File2.v.beautified DistinctRoot/File2.required_vo: DistinctRoot/File2.v @COQWORKER@ DistinctRoot/B/File1.vo
DistinctRoot/File2.vo DistinctRoot/File2.glob DistinctRoot/File2.v.beautified DistinctRoot/File2.required_vo: DistinctRoot/File2.v DistinctRoot/B/File1.vo @COQWORKER@
2 changes: 1 addition & 1 deletion test-suite/misc/deps/Theory1Deps.out
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Theory1/File1.vo Theory1/File1.glob Theory1/File1.v.beautified Theory1/File1.required_vo: Theory1/File1.v @COQWORKER@
Theory1/File2.vo Theory1/File2.glob Theory1/File2.v.beautified Theory1/File2.required_vo: Theory1/File2.v @COQWORKER@ Theory1/File1.vo
Theory1/File2.vo Theory1/File2.glob Theory1/File2.v.beautified Theory1/File2.required_vo: Theory1/File2.v Theory1/File1.vo @COQWORKER@
Theory1/Subtheory1/File1.vo Theory1/Subtheory1/File1.glob Theory1/Subtheory1/File1.v.beautified Theory1/Subtheory1/File1.required_vo: Theory1/Subtheory1/File1.v @COQWORKER@
Theory1/Subtheory1/Subsubtheory1/File1.vo Theory1/Subtheory1/Subsubtheory1/File1.glob Theory1/Subtheory1/Subsubtheory1/File1.v.beautified Theory1/Subtheory1/Subsubtheory1/File1.required_vo: Theory1/Subtheory1/Subsubtheory1/File1.v @COQWORKER@
Theory1/Subtheory1/Subsubtheory2/File1.vo Theory1/Subtheory1/Subsubtheory2/File1.glob Theory1/Subtheory1/Subsubtheory2/File1.v.beautified Theory1/Subtheory1/Subsubtheory2/File1.required_vo: Theory1/Subtheory1/Subsubtheory2/File1.v @COQWORKER@
Expand Down
2 changes: 1 addition & 1 deletion test-suite/misc/deps/Theory2Deps.out
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Theory2/File2.vo Theory2/File2.glob Theory2/File2.v.beautified Theory2/File2.required_vo: Theory2/File2.v @COQWORKER@ Theory2/Subtheory1/File1.vo Theory2/Subtheory1/Subsubtheory1/File1.vo Theory2/Subtheory1/Subsubtheory2/File1.vo Theory2/Subtheory2/File1.vo Theory2/Subtheory2/Subsubtheory1/File1.vo Theory2/Subtheory2/Subsubtheory2/File1.vo
Theory2/File2.vo Theory2/File2.glob Theory2/File2.v.beautified Theory2/File2.required_vo: Theory2/File2.v Theory2/Subtheory1/File1.vo Theory2/Subtheory1/Subsubtheory1/File1.vo Theory2/Subtheory1/Subsubtheory2/File1.vo Theory2/Subtheory2/File1.vo Theory2/Subtheory2/Subsubtheory1/File1.vo Theory2/Subtheory2/Subsubtheory2/File1.vo @COQWORKER@
Theory2/Subtheory1/File1.vo Theory2/Subtheory1/File1.glob Theory2/Subtheory1/File1.v.beautified Theory2/Subtheory1/File1.required_vo: Theory2/Subtheory1/File1.v @COQWORKER@
Theory2/Subtheory1/Subsubtheory1/File1.vo Theory2/Subtheory1/Subsubtheory1/File1.glob Theory2/Subtheory1/Subsubtheory1/File1.v.beautified Theory2/Subtheory1/Subsubtheory1/File1.required_vo: Theory2/Subtheory1/Subsubtheory1/File1.v @COQWORKER@
Theory2/Subtheory1/Subsubtheory2/File1.vo Theory2/Subtheory1/Subsubtheory2/File1.glob Theory2/Subtheory1/Subsubtheory2/File1.v.beautified Theory2/Subtheory1/Subsubtheory2/File1.required_vo: Theory2/Subtheory1/Subsubtheory2/File1.v @COQWORKER@
Expand Down
2 changes: 1 addition & 1 deletion test-suite/misc/deps/Theory3Deps.out
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
Theory3/File2.vo Theory3/File2.glob Theory3/File2.v.beautified Theory3/File2.required_vo: Theory3/File2.v @COQWORKER@ Theory3/Subtheory1/File1.vo Theory3/Subtheory1/Subsubtheory1/File1.vo Theory3/Subtheory1/Subsubtheory2/File1.vo Theory3/Subtheory2/File1.vo
Theory3/File2.vo Theory3/File2.glob Theory3/File2.v.beautified Theory3/File2.required_vo: Theory3/File2.v Theory3/Subtheory1/File1.vo Theory3/Subtheory1/Subsubtheory1/File1.vo Theory3/Subtheory1/Subsubtheory2/File1.vo Theory3/Subtheory2/File1.vo @COQWORKER@
Theory3/Subtheory1/File1.vo Theory3/Subtheory1/File1.glob Theory3/Subtheory1/File1.v.beautified Theory3/Subtheory1/File1.required_vo: Theory3/Subtheory1/File1.v @COQWORKER@
Theory3/Subtheory1/Subsubtheory1/File1.vo Theory3/Subtheory1/Subsubtheory1/File1.glob Theory3/Subtheory1/Subsubtheory1/File1.v.beautified Theory3/Subtheory1/Subsubtheory1/File1.required_vo: Theory3/Subtheory1/Subsubtheory1/File1.v @COQWORKER@
Theory3/Subtheory1/Subsubtheory2/File1.vo Theory3/Subtheory1/Subsubtheory2/File1.glob Theory3/Subtheory1/Subsubtheory2/File1.v.beautified Theory3/Subtheory1/Subsubtheory2/File1.required_vo: Theory3/Subtheory1/Subsubtheory2/File1.v @COQWORKER@
Expand Down
4 changes: 2 additions & 2 deletions test-suite/misc/deps/deps-from.out
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
misc/deps/test-from/D.vo misc/deps/test-from/D.glob misc/deps/test-from/D.v.beautified misc/deps/test-from/D.required_vo: misc/deps/test-from/D.v @COQWORKER@ misc/deps/test-from/A/C.vo
misc/deps/test-from/E.vo misc/deps/test-from/E.glob misc/deps/test-from/E.v.beautified misc/deps/test-from/E.required_vo: misc/deps/test-from/E.v @COQWORKER@ misc/deps/test-from/B/C.vo
misc/deps/test-from/D.vo misc/deps/test-from/D.glob misc/deps/test-from/D.v.beautified misc/deps/test-from/D.required_vo: misc/deps/test-from/D.v misc/deps/test-from/A/C.vo @COQWORKER@
misc/deps/test-from/E.vo misc/deps/test-from/E.glob misc/deps/test-from/E.v.beautified misc/deps/test-from/E.required_vo: misc/deps/test-from/E.v misc/deps/test-from/B/C.vo @COQWORKER@
2 changes: 1 addition & 1 deletion test-suite/misc/deps/deps.out
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
misc/deps/client/bar.vo misc/deps/client/bar.glob misc/deps/client/bar.v.beautified misc/deps/client/bar.required_vo: misc/deps/client/bar.v @COQWORKER@ misc/deps/client/foo.vo misc/deps/lib/foo.vo
misc/deps/client/bar.vo misc/deps/client/bar.glob misc/deps/client/bar.v.beautified misc/deps/client/bar.required_vo: misc/deps/client/bar.v misc/deps/client/foo.vo misc/deps/lib/foo.vo @COQWORKER@

0 comments on commit c026c9d

Please sign in to comment.