From 536f363587956ef1e59ecce4c932262ef57ff371 Mon Sep 17 00:00:00 2001 From: Lukas Zaoral Date: Mon, 19 Apr 2021 11:03:45 +0200 Subject: 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. --- test/Concrete/ConcreteTest.py | 5 +---- 1 file changed, 1 insertion(+), 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,)) -- cgit 1.4.1