Skip to content
Snippets Groups Projects
extractAssumptions.py 206 B
Newer Older
Davide Cavezza's avatar
Davide Cavezza committed
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()