mrva/mrva-docker
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

run another test

Browse Source
This commit is contained in:
michael hohn
2025-11-25 15:39:57 -08:00
committed by =michael hohn
parent d7d78d7f6e
commit 344ebd8d9b
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
bin/ma.send-request
View File

@@ -107,22 +107,22 @@ eof
# Submit a new MRVA job with the second query # Submit a new MRVA job with the second query
cd ~/work-gh/mrva/gh-mrva/ cd ~/work-gh/mrva/gh-mrva/
gh-mrva submit \ gh-mrva submit \
--language cpp --session mirva-session-4101 \ --language cpp --session mirva-session-5123 \
--list mirva-list \ --list mirva-list \
--query ~/work-gh/mrva/gh-mrva/Fprintf.ql --query ~/work-gh/mrva/gh-mrva/Fprintf.ql
# Check the status of the second session # Check the status of the second session
gh-mrva status --session mirva-session-4101 gh-mrva status --session mirva-session-5123
# Download databases and sarif for the second query # Download databases and sarif for the second query
cd ~/work-gh/mrva/gh-mrva/ cd ~/work-gh/mrva/gh-mrva/
gh-mrva download --session mirva-session-4101 \ gh-mrva download --session mirva-session-5123 \
--download-dbs \ --download-dbs \
--output-dir mirva-session-4101 --output-dir mirva-session-5123
ls -l *4101* ls -l *5123*
# Download only SARIF files # Download only SARIF files
gh-mrva download --session mirva-session-4101 \ gh-mrva download --session mirva-session-5123 \
--output-dir mirva-session-4101 --output-dir mirva-session-5123