[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] pVS 3.2 error
i am typechecking this large bunch of files with PVS 3.2 which make use of
the finite_sets_minmax theory.during the course of my fiddling around i
found out that importing any theory from finite_sets causes the error
"excl::string1 argument should be a string"
this seems kinda crazy, because i have the same bunch of files on my laptop
that typecheck without any problem.
any ideas?would it be that the patch level on my laptop and the other
machine is different?
Canít have enough of SRK? http://server1.msn.co.in/sp05/iifa/ Help him bag