<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<!--
This file is part of BenchExec, a framework for reliable benchmarking:
https://github.com/sosy-lab/benchexec

SPDX-FileCopyrightText: 2019-2020 Dirk Beyer <https://www.sosy-lab.org>

SPDX-License-Identifier: Apache-2.0
-->

<?eclipse-pydev version="1.0"?><pydev_project>
    
    <pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
        
        <path>/${PROJECT_DIR_NAME}</path>
        
    </pydev_pathproperty>
    
    <pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python interpreter</pydev_property>
    
    <pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">python3</pydev_property>
    
</pydev_project>
