| ! { dg-options "-fdiagnostics-format=sarif-file" } |
| ! Verify that some JSON was written to a file with the expected name. |
| ! { dg-final { verify-sarif-file } } */ |
| ! We expect a failing compile due to the error, but the use of |
| ! -fdiagnostics-format=sarif-file means there should be no output to stderr. |
| ! DejaGnu injects this message; ignore it: |
| ! { dg-prune-output "exit status is 1" } |
| ! Use a Python script to verify various properties about the generated |
| ! { dg-final { run-sarif-pytest diagnostic-format-sarif-1.F90 "diagnostic-format-sarif-1.py" } } |