[PPL-devel] Fwd: PPL Interface Issue

[Syed Sabah-ud-Din Gilani]

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$




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


On Fri, Mar 21, 2014 at 12:45 PM, Roberto Bagnara <bagnara at cs.unipr.it>wrote:

> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140401/4ed3e22f/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log
Type: application/octet-stream
Size: 227986 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140401/4ed3e22f/attachment.obj>