[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 
the award.