The combination of dfa & lrstar use a 'lrstar.txt' file to communicate the return code of lrstar to dfa.
lrstar writes the file with either 0 or 1 as the only byte. Zero means that lrstar succeeded, while one means it failed.
dfa reads the file and silently quits if the value is not zero.
The use of this file should be removed, and a wrapper script written that will run both lrstar & dfa.
The combination of dfa & lrstar use a 'lrstar.txt' file to communicate the return code of lrstar to dfa.
lrstar writes the file with either 0 or 1 as the only byte. Zero means that lrstar succeeded, while one means it failed. dfa reads the file and silently quits if the value is not zero.
The use of this file should be removed, and a wrapper script written that will run both lrstar & dfa.