Commit f5dae789 authored by POTTIER Francois's avatar POTTIER Francois

Renamed the data field "edges" to "edgefacts".

parent e273976d
...@@ -130,7 +130,7 @@ list: ...@@ -130,7 +130,7 @@ list:
# Remove any leftover output files. # Remove any leftover output files.
rm -f *.log lr.csv rm -f *.log lr.csv
# Print the header of lr.csv. (This should be kept in sync with LRijkstra.ml.) # Print the header of lr.csv. (This should be kept in sync with LRijkstra.ml.)
echo "grammar,terminals,nonterminals,size,states,trie,facts,edges,time,heap" > lr.csv echo "grammar,terminals,nonterminals,size,states,trie,facts,edgefacts,time,heap" > lr.csv
# Try every grammar. (Only the single-file grammars, that is.) # Try every grammar. (Only the single-file grammars, that is.)
# This can proceed in parallel, for a reasonable number of processes. # This can proceed in parallel, for a reasonable number of processes.
# Each process appends one line of data to lr.csv when it finishes. # Each process appends one line of data to lr.csv when it finishes.
......
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