[PPL-devel] Fwd: Fwd: PPL Interface Issue

[Syed Sabah-ud-Din Gilani]

Dear Sir,

It seems to come from a use of string, and there are very few place in
Phaver where strings are used. I have already discussed with Dr. Goran
(Phaver author) but he told me that they did't tested Phaver with PPL 0.9
and later. He guided me to comment out methods that are excluded from ppl
1.1 and I did it. Sir, could this error be due to those commented methods
i.e shrink_bounding_box etc and if so, let me know the alternate methods.

Best Regards,
*Syed Sabah-ud-din Gilani*


On Thu, Apr 3, 2014 at 11:15 AM, Roberto Bagnara <bagnara at cs.unipr.it>wrote:

> Syed Sabah-ud-Din Gilani <leepianz at gmail.com> wrote:
>
> >Dear Sir,
> >
> >I have attached the ppl-1.1 'config.log' file. Actually I am working on
> >Phaver hybrid model checker that uses PPL. After configuring everything
> >successfully when I start checking my model in Phaver it generates
> >error. I
> >have also mentioned my input and resulting output below.
> >
> >*Input:*
> >-bash-3.2$ *./phaver mutex_2.pha          *
> >
> >Note: mutex_2.pha is a phaver file that contains model to parse and
> >verify.
> >
> >*Output:*
> >
> >  Parsing file mutex_2.pha.
> >  -------------------------
> >File Opened
> >YY Parse started
> >terminate called after throwing an instance of 'std::out_of_range'
> >  what():  basic_string::substr
> >Aborted
> >-bash-3.2$
> >
> >I am waiting and  will be very glade to have your positive response.
> >
> >
> >Best Regards,
> >*Syed Sabah-ud-din Gilani*
> >
> >
> >---------- Forwarded message ----------
> >From: Roberto Bagnara <bagnara at cs.unipr.it>
> >Date: Fri, Mar 21, 2014 at 12:45 PM
> >Subject: Re: [PPL-devel] Fwd: PPL Interface Issue
> >To: Syed Sabah-ud-Din Gilani <leepianz at gmail.com>
> >Cc: The Parma Polyhedra Library developers' list
> ><ppl-devel at cs.unipr.it>
> >
> >
> >On 03/21/14 08:13, Syed Sabah-ud-Din Gilani wrote:
> >> I have used ppl 0.9 in my project, now I am upgrading it to ppl 1.1,
> >during compilation I had ppl interface issue i.e. *shrink_bounding_box*
> >and
> >some other functions not found. I have commented all these functions
> >and
> >compiled my project successfully, now when I try to parse some file it
> >returns me the following error:
> >> *
> >> *
> >> *terminate called after throwing an instance of 'std::out_of_range'*
> >> *  what():  basic_string::substr*
> >> *Aborted*
> >>
> >> I want guidelines and will be glade to have you positive response.
> >
> >Dear Syed,
> >
> >more details are needed.  Please explain what exactly is happening,
> >include the exact output you obtain from the compiler, explain what
> >you mean by "when I try to parse some file", and include the
> >`config.log' file that is generated by the `configure'
> >script with which you configured PPL 1.1.
> >Kind regards,
> >
> >   Roberto
> >
> >--
> >     Prof. Roberto Bagnara
> >
> >Applied Formal Methods Laboratory - University of Parma, Italy
> >mailto:bagnara at cs.unipr.it
> >                              BUGSENG srl - http://bugseng.com
> >                              mailto:roberto.bagnara at bugseng.com
>
> Hello Syed.  What makes you think the problem is related to the PPL?  From
> the output message you provided I see nothing suggesting this.  Did you get
> in touch with the Phaver authors/maintainers?
> Kind regards,
>
>       Roberto
> --
> Sent from my Android phone with K-9 Mail. Please excuse my brevity.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140403/0231c073/attachment.htm>