Begin Alliance bug report 1.3 ------------------------------------------------------------------- Posted on : 1998 January 29 (Thursday at 21:35) MET by : Rainer.Keller@studbox.uni-stuttgart.de subject : BUG dreal : Seg Fault under Linux version : Alliance 3.2b ------------------------------------------------------------------- Problem description : --------------------- Hello Y'all ! I downloaded alliance 3.2b (without the patches yet ,-]) and set up everything as told. When running the tutorial files (both: addaccu & amd2901) with make, everything compiles just fine. But when running dreal -l addaccu (or just the exec. alone) I get a segmentation fault. The last four lines of the strace output are: [...] stat("/usr/src/alliance/share/tutorials/addaccu/addaccu.cif", {st_mode=S_IFREG|0644, st_size=139292, ...}) = 0 stat("/usr/src/alliance/share/tutorials/addaccu/addaccu.rep", {st_mode=S_IFREG|0644, st_size=50, ...}) = 0 getdents(4, /* 0 entries */, 4096) = 0 close(4) = 0 --- SIGSEGV (Segmentation fault) --- +++ killed by SIGSEGV +++ If You need any further information, please do contact me ,-] Thanx ray My system is: P133 intel (but who cares for that ,-]) Linux James 2.0.33 libc 5.4.38 Environnement : --------------- Platform : Linux James 2.0.33 #1 Wed Dec 17 23:23:19 GMT-1 1997 i586 XPAT_PARAM_NAME=/usr/src/alliance/archi/Linux_elf/etc/xpat.par TOP=/usr/src/alliance/archi/Linux_elf XFSM_PARAM_NAME=/usr/src/alliance/archi/Linux_elf/etc/xfsm.par ELP_TECHNO_NAME=/usr/src/alliance/archi/Linux_elf/etc/prol10.elp MBK_CATA_LIB=.:/usr/src/alliance/archi/Linux_elf/cells/sclib DREAL_TECHNO_NAME=/usr/src/alliance/archi/Linux_elf/etc/cmos_7.dreal RDS_TECHNO_NAME=/usr/src/alliance/archi/Linux_elf/etc/cmos_7.rds MBK_TARGET_LIB=/usr/src/alliance/archi/Linux_elf/cells/sclib GRAAL_TECHNO_NAME=/usr/src/alliance/archi/Linux_elf/etc/cmos_7.graal How to reproduce the bug : -------------------------- call the linux standalone version of dreal ! Finger Information : -------------------- [studbox.uni-stuttgart.de] End Alliance bug report 1.3