From: Andres Noetzli <noetzli@stanford.edu>
Date: Thu, 15 Jun 2017 21:11:29 +0000 (-0700)
Subject: Make comp script more robust
X-Git-Tag: cvc5-1.0.0~5771
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=06b31fab6b9968ea1d6a58435cf210af5e6f540a;p=cvc5.git

Make comp script more robust

In certain cases, the trace executor inserts empty lines, which threw off
our competition script. This commit adds code to ignores empty lines.
---

diff --git a/contrib/run-script-smtcomp2017-application b/contrib/run-script-smtcomp2017-application
old mode 100644
new mode 100755
index 528a5deab..ddcc1f0c6
--- a/contrib/run-script-smtcomp2017-application
+++ b/contrib/run-script-smtcomp2017-application
@@ -2,13 +2,19 @@
 
 cvc4=./cvc4-application
 
-read line
+line=""
+while [[ -z "$line" ]]; do
+  read line
+done
 if [ "$line" != '(set-option :print-success true)' ]; then
   echo 'ERROR: first line supposed to be set-option :print-success, but got: "'"$line"'"' >&2
   exit 1
 fi
 echo success
-read line
+line=""
+while [[ -z "$line" ]]; do
+  read line
+done
 logic=$(expr "$line" : ' *(set-logic  *\([A-Z_]*\) *) *$')
 if [ -z "$logic" ]; then
   echo 'ERROR: second line supposed to be set-logic, but got: "'"$line"'"' >&2