diff options
| -rwxr-xr-x | tests/wrapper-compiler-errors | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/wrapper-compiler-errors b/tests/wrapper-compiler-errors index a578945..213382c 100755 --- a/tests/wrapper-compiler-errors +++ b/tests/wrapper-compiler-errors @@ -87,6 +87,9 @@ while [[ -f `printf "${temp_dir}/${input_filename}_%02d.c" ${num}` ]]; do fi # Run the compiler. + # e.g. Set + # TARTAN_TEST_OPTIONS="-analyzer-checker=debug.ViewExplodedGraph" to + # debug the ExplodedGraph TARTAN_PLUGIN=$tartan_plugin \ TARTAN_OPTIONS=--quiet \ $tartan \ |