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

[Roberto Bagnara]

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.