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

Problems



Hi
I'm using PVS v.2.3. I have two questions (problems) to you:
1)	What is the exact definition of "int" used for this version? (i.e.
is it integer default of 16bits or 32 bits?) 
2)	I'm attaching a .pvs file, which is giving a "parser error" when I
try to view the tccs. What's the reason for it?
 With best regards: Galina Teneva
 <<B004t.pvs>> 

B004t.pvs