[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-Help] pvs-strategies



Is there a way of "including" other strategy files from within
pvs-strategies?  I'd like to partition my strategies into separate
files which I can pick and choose from for a particular example.
Perhaps there is a theory-level command for including other strategy
files.

Thanks,
Rob