fix chromedriver version to avoid url not found error

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

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

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);

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