A forum for Spin users
You are not logged in.
Hi everybody:
In my model, the simulation is running correctly, but the verifier doesn't run and shows the following message:
pan:1: VECTORSZ is too small, edit pan.h (at depth 0)
What is the origin of the problem?
regards.
-salva
Offline
I have founded the following message about my error message:
https://spinroot.com/fluxbb/viewtopic.php?id=115
I'm going to translate this solution to my model.
Thanks.
Offline
ok, this is the solution:
cc -DVECTORSZ=2048 -o pan pan.c
Offline