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@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@cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara@bugseng.com