import sys import utils.io_utils as io assumptions = io.extractAssumptionList(sys.argv[1]) outfile = open(sys.argv[2],"w") for assumption in assumptions: outfile.write(assumption+"\n") outfile.close()