Skip to content

Commit cd742c3

Browse files
ejgallegoejgallego
committed
[8.20] Fix tests
1 parent 21569e7 commit cd742c3

File tree

4 files changed

+16
-16
lines changed

4 files changed

+16
-16
lines changed

‎test/compiler/basic/run.t

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ Describe the project
77
- coqlib is at: [TEST_PATH]
88
+ coqcorelib is at: [TEST_PATH]
99
- Modules [Coq.Init.Prelude] will be loaded by default
10-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
10+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
1111
- ocamlpath wasn't overriden
1212
+ findlib config: [TEST_PATH]
1313
+ findlib default location: [TEST_PATH]
@@ -18,7 +18,7 @@ Compile a single file, don't generate a `.vo` file:
1818
- coqlib is at: [TEST_PATH]
1919
+ coqcorelib is at: [TEST_PATH]
2020
- Modules [Coq.Init.Prelude] will be loaded by default
21-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
21+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
2222
- ocamlpath wasn't overriden
2323
+ findlib config: [TEST_PATH]
2424
+ findlib default location: [TEST_PATH]
@@ -34,7 +34,7 @@ Compile a single file, generate a .vo file
3434
- coqlib is at: [TEST_PATH]
3535
+ coqcorelib is at: [TEST_PATH]
3636
- Modules [Coq.Init.Prelude] will be loaded by default
37-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
37+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
3838
- ocamlpath wasn't overriden
3939
+ findlib config: [TEST_PATH]
4040
+ findlib default location: [TEST_PATH]
@@ -54,7 +54,7 @@ Compile a dependent file
5454
- coqlib is at: [TEST_PATH]
5555
+ coqcorelib is at: [TEST_PATH]
5656
- Modules [Coq.Init.Prelude] will be loaded by default
57-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
57+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
5858
- ocamlpath wasn't overriden
5959
+ findlib config: [TEST_PATH]
6060
+ findlib default location: [TEST_PATH]
@@ -74,7 +74,7 @@ Compile both files
7474
- coqlib is at: [TEST_PATH]
7575
+ coqcorelib is at: [TEST_PATH]
7676
- Modules [Coq.Init.Prelude] will be loaded by default
77-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
77+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
7878
- ocamlpath wasn't overriden
7979
+ findlib config: [TEST_PATH]
8080
+ findlib default location: [TEST_PATH]
@@ -95,7 +95,7 @@ Compile a dependent file without the dep being built
9595
- coqlib is at: [TEST_PATH]
9696
+ coqcorelib is at: [TEST_PATH]
9797
- Modules [Coq.Init.Prelude] will be loaded by default
98-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
98+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
9999
- ocamlpath wasn't overriden
100100
+ findlib config: [TEST_PATH]
101101
+ findlib default location: [TEST_PATH]
@@ -132,7 +132,7 @@ Compile a file with all messages:
132132
- coqlib is at: [TEST_PATH]
133133
+ coqcorelib is at: [TEST_PATH]
134134
- Modules [Coq.Init.Prelude] will be loaded by default
135-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
135+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
136136
- ocamlpath wasn't overriden
137137
+ findlib config: [TEST_PATH]
138138
+ findlib default location: [TEST_PATH]
@@ -143,7 +143,7 @@ Compile a file with all messages:
143143
- coqlib is at: [TEST_PATH]
144144
+ coqcorelib is at: [TEST_PATH]
145145
- Modules [Coq.Init.Prelude] will be loaded by default
146-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
146+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
147147
- ocamlpath wasn't overriden
148148
+ findlib config: [TEST_PATH]
149149
+ findlib default location: [TEST_PATH]
@@ -173,15 +173,15 @@ Use two workspaces
173173
- coqlib is at: [TEST_PATH]
174174
+ coqcorelib is at: [TEST_PATH]
175175
- Modules [Coq.Init.Prelude] will be loaded by default
176-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
176+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
177177
- ocamlpath wasn't overriden
178178
+ findlib config: [TEST_PATH]
179179
+ findlib default location: [TEST_PATH]
180180
[message] Configuration loaded from Command-line arguments
181181
- coqlib is at: [TEST_PATH]
182182
+ coqcorelib is at: [TEST_PATH]
183183
- Modules [Coq.Init.Prelude] will be loaded by default
184-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
184+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
185185
- ocamlpath wasn't overriden
186186
+ findlib config: [TEST_PATH]
187187
+ findlib default location: [TEST_PATH]
@@ -198,7 +198,7 @@ Load the example plugin
198198
- coqlib is at: [TEST_PATH]
199199
+ coqcorelib is at: [TEST_PATH]
200200
- Modules [Coq.Init.Prelude] will be loaded by default
201-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
201+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
202202
- ocamlpath wasn't overriden
203203
+ findlib config: [TEST_PATH]
204204
+ findlib default location: [TEST_PATH]
@@ -211,7 +211,7 @@ Load the astdump plugin
211211
- coqlib is at: [TEST_PATH]
212212
+ coqcorelib is at: [TEST_PATH]
213213
- Modules [Coq.Init.Prelude] will be loaded by default
214-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
214+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
215215
- ocamlpath wasn't overriden
216216
+ findlib config: [TEST_PATH]
217217
+ findlib default location: [TEST_PATH]
@@ -236,7 +236,7 @@ We do the same for the goaldump plugin:
236236
- coqlib is at: [TEST_PATH]
237237
+ coqcorelib is at: [TEST_PATH]
238238
- Modules [Coq.Init.Prelude] will be loaded by default
239-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
239+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
240240
- ocamlpath wasn't overriden
241241
+ findlib config: [TEST_PATH]
242242
+ findlib default location: [TEST_PATH]

‎test/compiler/exit_code/run.t

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ Describe the environment:
88
- coqlib is at: [TEST_PATH]
99
+ coqcorelib is at: [TEST_PATH]
1010
- Modules [Coq.Init.Prelude] will be loaded by default
11-
- 3 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
11+
- 3 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
1212
- ocamlpath wasn't overriden
1313
+ findlib config: [TEST_PATH]
1414
+ findlib default location: [TEST_PATH]

‎test/compiler/long_file/run.t

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@ We now compile the challenging file:
1111
- coqlib is at: [TEST_PATH]
1212
+ coqcorelib is at: [TEST_PATH]
1313
- Modules [Coq.Init.Prelude] will be loaded by default
14-
- 2 Coq path directory bindings in scope; 27 Coq plugin directory bindings in scope
14+
- 2 Coq path directory bindings in scope; 24 Coq plugin directory bindings in scope
1515
- ocamlpath wasn't overriden
1616
+ findlib config: [TEST_PATH]
1717
+ findlib default location: [TEST_PATH]

‎test/serlib/genarg/dune

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
; We insert the digest of the binaries to force a rebuild of the
1414
; test cases if the binary has been modified.
1515
(bash
16-
"for i in ../../../compiler/fcc.exe ../../../serlib/plugins/*/*.cmxs; do echo \"# $(md5sum $i)\"; done >> test_roundtrip"))))
16+
"for i in ../../../compiler/fcc.exe ../../../serlib_8_20/plugins/*/*.cmxs; do echo \"# $(md5sum $i)\"; done >> test_roundtrip"))))
1717

1818
(rule
1919
(alias runtest)

0 commit comments

Comments
 (0)