defining a predicate overrides skip status

From: Kish Shen <ks15_at_icparc.ic.ac.uk>
Date: Wed 17 Jan 2001 02:02:51 PM GMT
Message-Id: <E14ItAp-0004ac-00@tempest.icparc.ic.ac.uk>

Version 5.1.0, Wed Nov 22 12:31 2000
[eclipse 1]: skipped a/0.

yes.
[eclipse 2]: get_flag(a/0,skip,X).

X = on
yes.
[eclipse 3]: [user].
 a.
 user       compiled traceable 16 bytes in 0.00 seconds

yes.
[eclipse 4]: get_flag(a / 0, skip, X).

X = off
yes.
[eclipse 5]:

Received on Wed Jan 17 14:02:52 2001

This message: [ Message body ]
Next message: Mark Wallace: "Bug in edge_finder"
Previous message: Thomas Linke: "Re: space problems?????"
Next in thread: Joachim Schimpf: "Re: defining a predicate overrides skip status"
Maybe reply: Joachim Schimpf: "Re: defining a predicate overrides skip status"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:03 PM GMT GMT