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