[eclipse-clp-users] Segmentation fault when loading large source file

From: Sergii Dymchenko <kit1980_at_...6...>
Date: Mon, 18 Feb 2013 12:38:35 -0800

When try to load very large source file (almost 10 Mb) I get
"Segmentation fault" error.

Version 6.0 #199 (x86_64_linux), Fri Nov  2 22:47 2012

$ eclipse -g 5000000 -b R10.ecl
Segmentation fault

Is there some kind of hard limit on source file size?
Maybe I should try development version?

Also I have slightly smaller file (around 3 Mb), and it works OK with
-g 2000000, but loading takes some time, while running the goal
(eplex) is instant. Is this expected?

Zip version of R10.ecl - http://tc-alchemy.progopedia.com/R10.zip

Received on Mon Feb 18 2013 - 20:38:45 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:30 CEST