#53 Segfault when evaluating phi := (ex(x, cong(x+1, y, 16))); rlqe phi;

None
closed
nobody
None
5
2015-08-07
2013-11-03
No

Reduce crashes if I enter the following commands interactively:

load redlog;
rlset pasf;
phi := (ex(x, cong(x+1, y, 16)));
rlqe phi;

However it works fine if I pass a file containing the same commands to standard input.

Discussion

  • Thomas Sturm

    Thomas Sturm - 2013-11-03

    I cannot reproduce this.

    Please, post the banner message of your Reduce so that I can see the build date and whether this is CSL or PSL Reduce.

    What is your operating system?

    Best,

    Thomas

     
    • Leonid Ryzhyk

      Leonid Ryzhyk - 2013-11-03

      Oops, my bad, this should read:

      not (ex(x, cong(x+1, y, 16)));
      
       
      Last edit: Leonid Ryzhyk 2013-11-03
  • Leonid Ryzhyk

    Leonid Ryzhyk - 2013-11-03

    Reduce (Free CSL version), 01-Nov-13 ...
    My OS is Ubuntu 13.10.

     
  • Thomas Sturm

    Thomas Sturm - 2013-11-03

    OK. I could reproduce it on Debian. The problem is in the fancy output of the GUI. I will look into it. To continue working, you can go

    off fancy;

    for now.

    Thanks for the report!

    Thomas

     
  • Rainer Schöpf

    Rainer Schöpf - 2015-08-07
    • status: open --> closed
    • Group: -->
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks