From 2739567b56918c7866949b79309200df297e19c8 Mon Sep 17 00:00:00 2001
From: stilscher <66023521+stilscher@users.noreply.github.com>
Date: Thu, 12 Oct 2023 16:15:55 +0200
Subject: [PATCH] fix chromedriver version to avoid url not found error

---
 scripts/creduce/warning.sh    |  6 ++++++
 scripts/svcomp-nullpointer.sh |  9 +++++++++
 scripts/test-gobview.py       |  2 +-
 scripts/test.sh               | 13 +++++++++++++
 4 files changed, 29 insertions(+), 1 deletion(-)
 create mode 100755 scripts/creduce/warning.sh
 create mode 100644 scripts/svcomp-nullpointer.sh
 create mode 100755 scripts/test.sh

diff --git a/scripts/creduce/warning.sh b/scripts/creduce/warning.sh
new file mode 100755
index 00000000000..cab0f52cba4
--- /dev/null
+++ b/scripts/creduce/warning.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+~/code/analyzer/goblint p_1_check.c -v &> out.log
+grep -e '\[Warning\]\[Assert\] Assertion "(int )global4 == 11" is unknown.' out.log >/dev/null 2>&1
+if [ $? -neq 0 ]; then
+    exit 5
+fi
diff --git a/scripts/svcomp-nullpointer.sh b/scripts/svcomp-nullpointer.sh
new file mode 100644
index 00000000000..026041bb7b9
--- /dev/null
+++ b/scripts/svcomp-nullpointer.sh
@@ -0,0 +1,9 @@
+for file in ../sv-benchmarks/c/Juliet_Test/CWE476_NULL_Pointer_Dereference---*_bad.i
+do
+  ./goblint -v --conf conf/svcomp23.json --sets ana.specification ../sv-benchmarks/c/properties/valid-memsafety.prp --sets exp.architecture 64bit $file >> results_bad.txt
+done
+
+for file in ../sv-benchmarks/c/Juliet_Test/CWE476_NULL_Pointer_Dereference---*_good.i
+do
+  ./goblint -v --conf conf/svcomp23.json --sets ana.specification ../sv-benchmarks/c/properties/valid-memsafety.prp --sets exp.architecture 64bit $file >> results_good.txt
+done
diff --git a/scripts/test-gobview.py b/scripts/test-gobview.py
index 56978c5d374..d44f0a6105f 100644
--- a/scripts/test-gobview.py
+++ b/scripts/test-gobview.py
@@ -37,7 +37,7 @@ def serve():
 print("starting installation of browser\n")
 options = Options()
 options.add_argument('headless')
-browser = webdriver.Chrome(service=Service(ChromeDriverManager().install()),options=options)
+browser = webdriver.Chrome(service=Service(ChromeDriverManager(version='114.0.5735.90').install()),options=options)
 print("finished webdriver installation \n")
 browser.maximize_window()
 browser.implicitly_wait(10);
diff --git a/scripts/test.sh b/scripts/test.sh
new file mode 100755
index 00000000000..14d0ed60e0f
--- /dev/null
+++ b/scripts/test.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+echo 'Running script'
+i=0
+while true
+do
+  echo "try {$i}"
+  #./goblint --enable gobview tests/regression/00-sanity/01-assert.c &> "analyzer.$(i).log"
+  python3 scripts/test-gobview.py &> python.${i}.log
+  if [ $? != 0 ]
+  then echo "python script failed"; exit
+  fi
+  i=$(( $i + 1 ))
+done