From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Thu, 3 Dec 2020 15:58:48 +0000 (+0100)
Subject: Make run_regression.py executable. (#5588)
X-Git-Tag: cvc5-1.0.0~2512
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b0dda401af311ffee78936c8b8924b106b92b0c3;p=cvc5.git

Make run_regression.py executable. (#5588)
---

diff --git a/test/regress/run_regression.py b/test/regress/run_regression.py
old mode 100644
new mode 100755