Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 79fe168b authored by POTTIER Francois's avatar POTTIER Francois
Browse files

The tests in bad/ now also use .out and .exp files instead of .result and .expected.

parent 5fefe221
Pipeline #116642 passed with stages
in 26 seconds
......@@ -27,7 +27,7 @@ do
# A negative test.
echo "Promoting $name..."
# Create the expected-output file if it is missing.
touch test/static/$name.expected
touch test/static/$name.exp
base=${name#bad/}
# Ask dune to update the expected-output file.
dune build @$base --auto-promote
......
File "obc.mly", line 107, characters 0-7:
File "obc.mly", line 110, characters 0-7:
File "bad_obc.mly", line 107, characters 0-7:
File "bad_obc.mly", line 110, characters 0-7:
Error: the nonterminal symbol imports is multiply defined.
Only %public symbols can have split definitions.
File "uppercase.mly", line 1, characters 14-18:
File "bad_uppercase.mly", line 1, characters 14-18:
Error: syntax error after '<unit>' and before 'Main'.
Ill-formed '%start' declaration.
A start symbol must begin with a lowercase letter.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment