Dear Matthias,

I do not think we did particular testing on the bit 64 machine, yet the source code should be platform independent. The might be issued with the data size in the bitset implementation, but this is sort of unlikely.

Have you tried previous MRMC versions or downgrading to the gcc 3.5.5 compiler on the 64 bit machine? Also, there is a 64-bit pre-compiled binary version f MRMC 1.4.1. have you tried it?

Best regards, Ivan.

On Tue, Mar 23, 2010 at 10:32 AM, Matthias Guedemann < matthias.guedemann@ovgu.de> wrote:

Hello,

I used MRMC on a DTMC model to check a bounded until formula. Depending on the chosen time bounds and error_bound setting, it segfaulted on several occasions.

MRMC Version 1.4.1 built from source OS: Debian/testing on amd64 GCC: gcc version 4.4.3 20100108 (prerelease) (Debian 4.4.2-9)

Nevertheless it works well on 32 Bit OpenBSD -current with gcc 3.3.5

Is this behavior to be expected on 64 bit systems? Or is it maybe a gcc issue? Sorry if I missed something, but I did not find information about this on the webpage.

best regards Matthias -- __________________________________________________________ ___ __ __ Dipl. Inf. Matthias Guedemann / __/ _\ /__\ Computer Systems in Engineering / / \ \ /_\ Otto-von-Guericke Universitaet Magdeburg / /___ _\ //__ Tel.: 0391 / 67-19359 ____/ __/__/ __________________________________________________________ _______________________________________________ MRMC-users mailing list MRMC-users@lists.rwth-aachen.de https://mailman.rwth-aachen.de/mailman/listinfo/mrmc-users