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

[Roberto Bagnara]

Roberto Bagnara <bagnara at cs.unipr.it> wrote:

>Syed Sabah-ud-Din Gilani <leepianz at gmail.com> wrote:
>
>>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.
>>>
>>
>>
>>------------------------------------------------------------------------
>>
>>_______________________________________________
>>PPL-devel mailing list
>>PPL-devel at cs.unipr.it
>>http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>
>Dear Syed, I cannot check myself right now, but if you look at the PPL
>sources, you should see that string::substr() is only used (indirectly)
>in methods called ascii_load().  I very much doubt the ascii_load(),
>but please check that as well.  If I am correct, then your observation
>has nothing to do with the PPL.
>Kind regards,
>
>     Roberto  
>-- 
>Sent from my Android phone with K-9 Mail. Please excuse my brevity.
>_______________________________________________
>PPL-devel mailing list
>PPL-devel at cs.unipr.it
>http://www.cs.unipr.it/mailman/listinfo/ppl-devel

Sorry: one sentence got cut.  I meant to tell you that I very much doubt Phaver uses the ascii_load() methods: please check that.
-- 
Sent from my Android phone with K-9 Mail. Please excuse my brevity.