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

[Roberto Bagnara]

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.