Commit 174daec3 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update the boomerang test, which had some non-ASCII characters in it.

parent ebb2d493
Note: the nonterminal symbol list (from boomerang.1.1.0-bparser.mly) is renamed boomerang_1_1_0_bparser_list.
File "boomerang.1.1.0-bparser.mly", line 208, characters 54-63:
Note: the nonterminal symbol list (from boomerang-bparser.mly) is renamed boomerang_bparser_list.
File "boomerang-bparser.mly", line 207, characters 54-63:
Warning: the token BACKSLASH is unused.
File "boomerang.1.1.0-bparser.mly", line 204, characters 24-29:
File "boomerang-bparser.mly", line 203, characters 24-29:
Warning: the token FLOAT is unused.
File "boomerang.1.1.0-bparser.mly", line 209, characters 70-73:
File "boomerang-bparser.mly", line 208, characters 70-73:
Warning: the token HAT is unused.
File "boomerang.1.1.0-bparser.mly", line 205, characters 41-47:
File "boomerang-bparser.mly", line 204, characters 41-47:
Warning: the token LBRACK is unused.
File "boomerang.1.1.0-bparser.mly", line 209, characters 21-25:
File "boomerang-bparser.mly", line 208, characters 21-25:
Warning: the token RLUS is unused.
File "boomerang.1.1.0-bparser.mly", line 208, characters 64-69:
File "boomerang-bparser.mly", line 207, characters 64-69:
Warning: the token SLASH is unused.
Grammar has 75 nonterminal symbols, among which 3 start symbols.
Grammar has 99 terminal symbols.
Grammar has 248 productions.
Grammar has 100 terminal symbols.
Grammar has 249 productions.
nullable(uid) = false
nullable(tyvar_list2) = false
nullable(tyvar_list) = true
......@@ -74,7 +74,7 @@ nullable(bsort) = false
nullable(branch_list2) = true
nullable(branch_list) = false
nullable(branch) = false
nullable(boomerang_1_1_0_bparser_list) = false
nullable(boomerang_bparser_list) = false
nullable(barexp) = false
nullable(atoms2) = true
nullable(atoms) = false
......@@ -94,15 +94,15 @@ first(tyvar_list2) = TYVARIDENT
first(tyvar_list) = TYVARIDENT LPAREN
first(tyvar) = TYVARIDENT
first(tyexp) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(tildeexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(tildeexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(test_res_sort) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT QMARK LPAREN LIDENT LENS INTPREFS INT FORALL CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(test_res_exp) = UIDENT SYNTH STR QUALIDENT QMARK PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR ERROR CSET CHARACTER CEX BOOLEAN BEGIN
first(test_res_exp) = UIDENT SYNTH STR SQUASH QUALIDENT QMARK PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR ERROR CSET CHARACTER CEX BOOLEAN BEGIN
first(sort_list) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT LPAREN LIDENT LENS INTPREFS INT FORALL CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(sort) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT LPAREN LIDENT LENS INTPREFS INT FORALL CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(rules2) = BAR
first(rules) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN BAR
first(rule) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(rewriteexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(rewriteexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(repexp) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(rep) = STAR QMARK PLUS LBRACE
first(qvar) = QUALIDENT LIDENT
......@@ -115,51 +115,51 @@ first(param_list2) = TYVARIDENT LPAREN
first(param_list) = TYVARIDENT LPAREN
first(param) = TYVARIDENT LPAREN
first(opens) = OPEN
first(obarexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(obarexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(modl) = MODULE
first(minusexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(minusexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(matchexp) = LANGLE
first(ltexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(ltexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(listpat) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CSET CEX BOOLEAN
first(listexp2) = UIDENT SYNTH STR RBRACE QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(listexp1) = UIDENT SYNTH STR RPAREN QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(listexp2) = UIDENT SYNTH STR SQUASH RBRACE QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(listexp1) = UIDENT SYNTH STR SQUASH RPAREN QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(letpat) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CEX BOOLEAN
first(leqexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(lenscomponentexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(leqexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(lenscomponentexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(lcpat) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CSET CEX BOOLEAN
first(infixexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(infixexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(id) = UIDENT LIDENT
first(gtexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(geqexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(funexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS MATCH LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR FUN CSET CHARACTER CEX BOOLEAN BEGIN
first(exp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS MATCH LPAREN LIDENT LET LANGLE INTEGER HASH GRAMMAR FUN CSET CHARACTER CEX BOOLEAN BEGIN
first(equalexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(gtexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(geqexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(funexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS MATCH LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR FUN CSET CHARACTER CEX BOOLEAN BEGIN
first(exp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS MATCH LPAREN LIDENT LET LANGLE INTEGER HASH GRAMMAR FUN CSET CHARACTER CEX BOOLEAN BEGIN
first(equalexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(dtsort_list2) = BAR
first(dtsort_list) = UIDENT
first(dtsort) = UIDENT
first(dotexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(dotexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(decls) = TYPE TEST MODULE LET
first(dbarexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(dbarexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(datatypesort) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT LPAREN LIDENT LENS INTPREFS INT CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(conpat) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CEX BOOLEAN
first(composeexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(commaexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(cexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS MATCH LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(composeexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(commaexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(cexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS MATCH LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(bsort) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT LPAREN LIDENT LENS INTPREFS INT CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(branch_list2) = BAR
first(branch_list) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CSET CEX BOOLEAN BAR
first(branch) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CSET CEX BOOLEAN
first(boomerang_1_1_0_bparser_list) = UIDENT SYNTH STR RBRACK QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(barexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(boomerang_bparser_list) = UIDENT SYNTH STR SQUASH RBRACK QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(barexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET MINUS LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(atoms2) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(atoms) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(atom) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(asort) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT LIDENT LENS INTPREFS INT CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(arrowsort) = UNIT TYVARIDENT STRINGPREFS STRINGLISTPREFS STRING SKELETONS RESOURCES REGEXP QUALIDENT LPAREN LIDENT LENS INTPREFS INT CHAR CANONIZER BOOLPREFS BOOL AREGEXP
first(appexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(appexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(apat) = UNDERLINE UIDENT STR QUALIDENT LPAREN LIDENT INTEGER CEX BOOLEAN
first(ampexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(ampampexp) = UIDENT SYNTH STR QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(ampexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(ampampexp) = UIDENT SYNTH STR SQUASH QUALIDENT PROJECT PERM NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(aexps2) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(aexps) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
first(aexp) = UIDENT STR QUALIDENT NSET LPAREN LIDENT LANGLE INTEGER HASH GRAMMAR CSET CHARACTER CEX BOOLEAN BEGIN
......@@ -224,7 +224,7 @@ minimal(bsort) = (* 1 *) LIDENT
minimal(branch_list2) = (* 0 *)
minimal(branch_list) = (* 3 *) CSET ARROW LIDENT
minimal(branch) = (* 3 *) CSET ARROW LIDENT
minimal(boomerang_1_1_0_bparser_list) = (* 1 *) RBRACK
minimal(boomerang_bparser_list) = (* 1 *) RBRACK
minimal(barexp) = (* 1 *) LIDENT
minimal(atoms2) = (* 0 *)
minimal(atoms) = (* 1 *) LIDENT
......@@ -299,7 +299,7 @@ follow(bsort) = WHERE TYPE TEST STAR RPAREN RBRACE RANGLE QUALIDENT MODULE LLIST
follow(branch_list2) = TYPE TEST RPAREN RANGLE MODULE LET IN EOF END DOLLAR COLON
follow(branch_list) = TYPE TEST RPAREN RANGLE MODULE LET IN EOF END DOLLAR COLON
follow(branch) = TYPE TEST RPAREN RANGLE MODULE LET IN EOF END DOLLAR COLON BAR
follow(boomerang_1_1_0_bparser_list) = WITH VTYPE USING UIDENT TYPE TILDE TEST STYPE STR STAR SEMI RPAREN RBRACK RBRACE RANGLE QUALIDENT QMARK PUT PLUS NSET MODULE MINUS LT LPAREN LIDENT LET LEQ LBRACE LANGLE INTO INTEGER IN HASH GT GRAMMAR GET GEQ EQUAL EOF END DOT DOLLAR DEQARROW DARROW CSET CREATE COMMA COLON CHOOSE CHARACTER CEX CANONIZE BOOLEAN BIJ BEGIN BARBAR BAR AVTYPE ASTYPE ARROW AND AMPERSAND
follow(boomerang_bparser_list) = WITH VTYPE USING UIDENT TYPE TILDE TEST STYPE STR STAR SEMI RPAREN RBRACK RBRACE RANGLE QUALIDENT QMARK PUT PLUS NSET MODULE MINUS LT LPAREN LIDENT LET LEQ LBRACE LANGLE INTO INTEGER IN HASH GT GRAMMAR GET GEQ EQUAL EOF END DOT DOLLAR DEQARROW DARROW CSET CREATE COMMA COLON CHOOSE CHARACTER CEX CANONIZE BOOLEAN BIJ BEGIN BARBAR BAR AVTYPE ASTYPE ARROW AND AMPERSAND
follow(barexp) = WITH TYPE TEST SEMI RPAREN RBRACK RANGLE MODULE LET IN EOF END DOLLAR COMMA
follow(atoms2) = DARROW
follow(atoms) = DARROW
......@@ -314,14 +314,14 @@ follow(aexps2) = END BAR AND
follow(aexps) = END BAR AND
follow(aexp) = WITH VTYPE USING UIDENT TYPE TILDE TEST STYPE STR STAR SEMI RPAREN RBRACK RBRACE RANGLE QUALIDENT QMARK PUT PLUS NSET MODULE MINUS LT LPAREN LIDENT LET LEQ LBRACE LANGLE INTO INTEGER IN HASH GT GRAMMAR GET GEQ EQUAL EOF END DOT DOLLAR DEQARROW DARROW CSET CREATE COMMA COLON CHOOSE CHARACTER CEX CANONIZE BOOLEAN BIJ BEGIN BARBAR BAR AVTYPE ASTYPE ARROW AND AMPERSAND
follow(aapat) = RPAREN EQUAL COMMA COLONCOLON COLON ARROW
Built an LR(0) automaton with 508 states.
Built an LR(0) automaton with 514 states.
The grammar is not SLR(1) -- 11 states have a conflict.
The construction mode is pager.
Built an LR(1) automaton with 511 states.
195 out of 511 states have a default reduction.
208 out of 511 states are represented.
0 out of 179 symbols keep track of their start position.
0 out of 179 symbols keep track of their end position.
139 out of 251 productions exploit shiftreduce optimization.
0 out of 511 states can peek at an error.
1356 functions before inlining, 196 functions after inlining.
Built an LR(1) automaton with 517 states.
196 out of 517 states have a default reduction.
212 out of 517 states are represented.
0 out of 180 symbols keep track of their start position.
0 out of 180 symbols keep track of their end position.
139 out of 252 productions exploit shiftreduce optimization.
0 out of 517 states can peek at an error.
1369 functions before inlining, 197 functions after inlining.
......@@ -715,31 +715,26 @@
(rule (alias bodin_inlined)
(action (diff ../good/bodin_inlined.exp bodin_inlined.out)))
(rule (target boomerang.1.1.0-bparser.opp.out)
(deps ../good/boomerang.1.1.0-bparser.mly)
(rule (target boomerang-bparser.opp.out) (deps ../good/boomerang-bparser.mly)
(action
(with-outputs-to boomerang.1.1.0-bparser.opp.out
(with-outputs-to boomerang-bparser.opp.out
(chdir ../good
(system
"timeout 60 %{bin:menhir} --only-preprocess %{deps} || echo 'TIMEOUT after 60 seconds.'")))))
(rule (alias boomerang.1.1.0-bparser)
(action
(diff ../good/boomerang.1.1.0-bparser.opp.exp
boomerang.1.1.0-bparser.opp.out)))
(rule (alias boomerang-bparser)
(action (diff ../good/boomerang-bparser.opp.exp boomerang-bparser.opp.out)))
(rule
(targets boomerang.1.1.0-bparser.out boomerang.1.1.0-bparser.out.timings)
(deps ../good/boomerang.1.1.0-bparser.mly)
(rule (targets boomerang-bparser.out boomerang-bparser.out.timings)
(deps ../good/boomerang-bparser.mly)
(action
(with-outputs-to boomerang.1.1.0-bparser.out
(with-outputs-to boomerang-bparser.out
(chdir ../good
(system
"timeout 60 %{bin:menhir} --explain -lg 2 -la 2 -lc 2 --timings-to ../src/boomerang.1.1.0-bparser.out.timings %{deps} || echo 'TIMEOUT after 60 seconds.'")))))
"timeout 60 %{bin:menhir} --explain -lg 2 -la 2 -lc 2 --timings-to ../src/boomerang-bparser.out.timings %{deps} || echo 'TIMEOUT after 60 seconds.'")))))
(rule (alias boomerang.1.1.0-bparser)
(action
(diff ../good/boomerang.1.1.0-bparser.exp boomerang.1.1.0-bparser.out)))
(rule (alias boomerang-bparser)
(action (diff ../good/boomerang-bparser.exp boomerang-bparser.out)))
(rule (target boris-mini.opp.out) (deps ../good/boris-mini.mly)
(action
......@@ -9395,7 +9390,7 @@
(alias bison-mysterious-conflict)
(alias bodin)
(alias bodin_inlined)
(alias boomerang.1.1.0-bparser)
(alias boomerang-bparser)
(alias boris-mini)
(alias boris-mini-no-eos)
(alias bran)
......
Supports Markdown
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