Facing error like; Error: java.lang.Null PointerException

[Shahid Ali Khan]

Hi Everyone, I am facing an error while building my model. 

Can anyone please guide me in this regard. PFA

[Dave Parker]

Hi Shahid,

> Hi Everyone, I am facing an error while building my model.
> Can anyone please guide me in this regard. PFA

Could you send your model, so we can reproduce the error?

Best wishes,

Dave

[Shahid Ali Khan]

Respected Sir, I am sharing it on your personal email. Thank you for your support. 

[Dave Parker]

Got it. I think the model is simply too large, I'm afraid (the tool is
not always able to catch this and report the memout error cleanly). For
me, this happens with your model even when increasing the CUDD memory.
There are a few tips for reducing model size here:

https://www.prismmodelchecker.org/manual/FrequentlyAskedQuestions/PRISMModelling

Best wishes,

Dave

[Shahid Ali Khan]

Okay Sir, I will do the needful changes accordingly.  

Thank you for your precious time.