updated information for testing

README.org

@@ -125,6 +125,7 @@
      # Copy the new binary
      cd /Users/hohn/work-gh/mrva/gh-mrva
      docker cp gh-mrva mrva-ghmrva:/usr/local/bin/gh-mrva
+
    #+END_SRC
    
 ** set up traffic tracing
@@ -756,7 +757,12 @@
          # # may fail if there isn't one
          # SELECT nextval('session_id_seq');
 
-         # cleanup if needed
+         # clear all postgres databases.  This will require restarting the server
+         # container to recreate the tables
+         DROP SCHEMA public CASCADE;
+         CREATE SCHEMA public;
+
+         # or more selectively
          DROP TABLE IF EXISTS  analyze_jobs CASCADE;
          DROP TABLE IF EXISTS  analyze_results CASCADE;
          DROP TABLE IF EXISTS  job_info CASCADE;

bin/ma.send-request

@@ -59,19 +59,19 @@ eof
 
 # Submit the MRVA job with the first query
 cd ~/work-gh/mrva/gh-mrva/
-gh-mrva submit --language cpp --session mirva-session-4111 \
+gh-mrva submit --language cpp --session mirva-session-4577 \
           --list mirva-list                                \
           --query ~/work-gh/mrva/gh-mrva/FlatBuffersFunc.ql
 
 # Check the status of the submitted session
-gh-mrva status --session mirva-session-4111
+gh-mrva status --session mirva-session-4577
 
 # Download SARIF files and databases if there are results.  For the current
 # query / database combination there are zero result hence no downloads
 cd ~/work-gh/mrva/gh-mrva/
-gh-mrva download --session mirva-session-4111   \
+gh-mrva download --session mirva-session-4577   \
         --download-dbs                          \
-        --output-dir mirva-session-4111
+        --output-dir mirva-session-4577
 
 
 #*  Set up QLPack for the next query
@@ -106,22 +106,22 @@ eof
 # Submit a new MRVA job with the second query
 cd ~/work-gh/mrva/gh-mrva/
 gh-mrva submit                                      \
-        --language cpp --session mirva-session-3901 \
+        --language cpp --session mirva-session-3912 \
         --list mirva-list                           \
         --query ~/work-gh/mrva/gh-mrva/Fprintf.ql
 
 
 # Check the status of the second session
-gh-mrva status --session mirva-session-3901
+gh-mrva status --session mirva-session-3912
 
 # Download databases and sarif for the second query
 cd ~/work-gh/mrva/gh-mrva/
-gh-mrva download --session mirva-session-3901   \
+gh-mrva download --session mirva-session-3912   \
         --download-dbs                          \
-        --output-dir mirva-session-3901
-ls -l *3901*
+        --output-dir mirva-session-3912
+ls -l *3912*
 
 # Download only SARIF files
-gh-mrva download --session mirva-session-3901   \
-        --output-dir mirva-session-3901
+gh-mrva download --session mirva-session-3912   \
+        --output-dir mirva-session-3912