bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: debug report for murphi script


From: Jon Grant
Subject: Re: debug report for murphi script
Date: Thu, 20 Jul 2006 01:32:25 +0100
User-agent: Mozilla/5.0 (X11; U; GNU/Linux i686; en; rv:1.7.12) Gecko/20051013 Debian/1.7.12-1ubuntu1



On 19/07/06 14:17, address@hidden wrote:
Dear Sir/Madam,

the attached file is the error i got when "make" the murphi script named
rrp.m i can not get the rrp.c and i got message says limited range of data
type.

please advice me how to debug this type of error.

===========
/usr/etc/Murphi3.1/include/mu_system.C:728: warning: comparison is always false due to limited range of data type
make: *** [rrp] Error 1
===========

The type is probably being checked for a size bigger than it is.

like: if(boolvar > -1)   or some such situation with an int or float etc.

You may like to speak to the people who provided you with the source code.

Kind regards
JG
--
WWW: http://jguk.org/
IM: address@hidden
ICQ: 11122941




reply via email to

[Prev in Thread] Current Thread [Next in Thread]