projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 209b088) | patch
Make comp script more robust
authorAndres Noetzli <noetzli@stanford.edu>
Thu, 15 Jun 2017 21:11:29 +0000 (14:11 -0700)
committerAndres Nötzli <andres.noetzli@gmail.com>
Thu, 15 Jun 2017 21:54:02 +0000 (14:54 -0700)
commit06b31fab6b9968ea1d6a58435cf210af5e6f540a
tree7a7f5204049ba4e9fc94c10c6dff89fc6c07e3bdtree
parent209b08887bc55349880b9ed6d858e23637267deecommit | diff
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.
contrib/run-script-smtcomp2017-application [changed mode: 0644->0755] diff | blob | history