Spinroot

A forum for Spin users

You are not logged in.

#1 2017-05-10 08:51:58

salcaraz
Member
Registered: 2017-02-26
Posts: 7

Verifier error "pan:1: VECTORSZ is too small, edit pan.h (at depth 0)"

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

#2 2017-05-10 09:22:01

salcaraz
Member
Registered: 2017-02-26
Posts: 7

Re: Verifier error "pan:1: VECTORSZ is too small, edit pan.h (at depth 0)"

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

#3 2017-05-10 09:26:29

salcaraz
Member
Registered: 2017-02-26
Posts: 7

Re: Verifier error "pan:1: VECTORSZ is too small, edit pan.h (at depth 0)"

ok, this is the solution:

  cc -DVECTORSZ=2048 -o pan pan.c

smile

Offline

#4 2017-05-10 16:38:05

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: Verifier error "pan:1: VECTORSZ is too small, edit pan.h (at depth 0)"

correct -- it means that the state size of your model is more than the default maximum of 1KB

Offline

Board footer

Powered by FluxBB