[PPL-devel] Fwd: 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$

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140403/bc0f6963/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/20140403/bc0f6963/attachment.obj>