get_path_conditions

#!/usr/bin/env python2
from argparse import ArgumentParser
import sys

def get_path_condition(input_description, program, args):
    # First, produce a ktest for this program and input description.
    # Store that ktest in a persistent file. 

    # Figure out which parts of the environment we are making symbolic,
    # and at what sizes. 

    # Then, run klee on that ktest file. 

def main(args):
    return 0

if __name__ == '__main__':
    parser = ArgumentParser('get-path-conditions')
    args = parser.parse_args()
    sys.exit(main(args))