Crash with bad CFGVisualizer `outdir=`

[mernst]

When I run with this command line

javacheck -processor ... -Acfgviz=org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer,outdir=,verbose Myfile.java 

the Checker Framework crashes.

If I correct it by adding a period after "outdir=":

javacheck -processor ... -Acfgviz=org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer,outdir=.,verbose Myfile.java 

then the Checker Framework does not crash.

[vivek-0509]

Hi @mernst,
I do like to help fix this. When outdir= is empty, should we:

1. Throw an error with a message like "Provide a valid directory path, such as outdir=." (consistent with -Aflowdotdir validation)? or
2. Default to . (current directory) so the command works without modification?

I am thinking of going with option one for consistency.

[mernst]

I agree with your choice: option 1 is better. Thanks in advance for your fix!