diff --git a/tests/frontends-tests.sh b/tests/frontends-tests.sh index 7fe012d131f8..060ff03c3215 100755 --- a/tests/frontends-tests.sh +++ b/tests/frontends-tests.sh @@ -8,7 +8,7 @@ SCRIPT_ABS_DIR=$(dirname "$SCRIPT_ABS_PATH") JOERN="$SCRIPT_ABS_DIR"/../joern # first, run a simplistic smoke test -$JOERN --script tests/frontends-smoketest.sc +$JOERN --script tests/frontends-smoketest.sc --verbose # now test all frontends with proper input code frontends=(c jssrc javasrc java ghidra pythonsrc php)