Commit e511e9d1 authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent c7134293
......@@ -111,10 +111,6 @@
* Preserve the directory name in the `#` directives that we emit.
(Not sure if this is necessary.)
* In the file `.automaton.resolved`, show which states have default
reductions. (When this is the case, do not show individual reduction
## Scripts
* In `make data`, the message `TIMEOUT after 60 seconds` should be printed
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