test/Concrete: Use Python 3 in ConcreteTest.py explicitly

Some Linux distributions, e.g. Fedora, do not install the unversioned Python
binary by default and Python 2 has been dead for more than a year.

1 files changed, 1 insertions, 4 deletions

diff --git a/test/Concrete/ConcreteTest.py b/test/Concrete/ConcreteTest.py
index 0de481b3..0f3b49f2 100755
--- a/test/Concrete/ConcreteTest.py
+++ b/test/Concrete/ConcreteTest.py
@@ -1,6 +1,5 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
-from __future__ import print_function
 import argparse
 import os
 import platform
@@ -33,7 +32,6 @@ def testFile(name, klee_path, lli_path):
     lli_cmd = [lli_path, '-force-interpreter=true', exeFile]
     print("EXECUTING: %s" % (lli_cmd,))
 
-    # Decode is for python 3.x
     lliOut = subprocess.check_output(lli_cmd).decode()
     print('-- lli output --\n%s--\n' % (lliOut,))
 
@@ -45,7 +43,6 @@ def testFile(name, klee_path, lli_path):
     print("EXECUTING: %s" % (klee_cmd,))
     sys.stdout.flush()
 
-    # Decode is for python 3.x
     kleeOut = subprocess.check_output(klee_cmd).decode()
     print('-- klee output --\n%s--\n' % (kleeOut,))