no.099.stable.out

来自「一个内存数据库的源代码这是服务器端还有客户端」· OUT 代码 · 共 97 行

stdout of test 'no.099` in directory 'tests/BugReports` itself:

#> Mtest:	milS no.099 milS
#> Mtest:	Mtimeout -timeout 210 Mserver -modulesilent -yaccsilent -d8 -db tests_BugReports -single no.099.milS
# Monet Database Server V4.1
# Copyright (c) 1993-1999, CWI & SION. All rights reserved.
# compiled for IRIX646.5/32bit on Fri Jan 14 01:04:33 MET 2000.
#script:no.099.milS


# Monet Database Server V4.3.5
# Copyright (c) 1993-2002, CWI. All rights reserved.
# compiled for i686-pc-linux-gnu/32bit; dynamically linked.
# >Number:         99
# >Category:       Mserver
# >Synopsis:       comparison of nil values is not reliable
# >Confidential:   no
# >Severity:       critical
# >Priority:       high
# >Responsible:    boncz
# >State:          open
# >Class:          sw-bug
# >Submitter-Id:   unknown
# >Arrival-Date:   Mon Dec 15 11:22:32 1997
# >Originator:     windhouw
# >Organization:
# UvA
# >Release:        971007
# >Environment:
# 
# >Description:
# #You are system administrator (adm)!
# >PROC comp(left,right) := {
# >  IF (left = right) {
# >    printf("left equals right\n");
# >  } ELSE {
# >    printf("left is not equal to right\n");
# >  }
# >  IF (left != right) {
# >    printf("left is not equal to right\n");
# >  } ELSE {
# >    printf("left equals right\n");
# >  }
# >}
# >comp(oid(nil),oid(nil));
# left equals right
# left is not equal to right
# >comp(oid(1),oid(nil));
# left is not equal to right
# left is not equal to right
# >comp(oid(1),oid(1));
# left equals right
# left equals right
# >comp(str(nil),str(nil));
# left equals right
# left is not equal to right
# >comp(str("a"),str(nil));
# left equals right
# left is not equal to right
# >comp(str("a"),str("a"));
# left equals right
# left equals right

setoid(oid(20000000));
PROC comp(any left, any right) : any {
  IF (left = right) {
    printf("left equals right\n");
  } ELSE {
    printf("left is not equal to right\n");
  }
  IF (left != right) {
    printf("left is not equal to right\n");
  } ELSE {
    printf("left equals right\n");
  }
}
comp(oid(nil),oid(nil));
!ERROR: interpret: if bit(nil): don't know what to do!
comp(oid(1),oid(nil));
!ERROR: interpret: if bit(nil): don't know what to do!
comp(oid(1),oid(1));
left equals right
left equals right
comp(str(nil),str(nil));
!ERROR: interpret: if bit(nil): don't know what to do!
comp(str("a"),str(nil));
!ERROR: interpret: if bit(nil): don't know what to do!
comp(str("a"),str("a"));
left equals right
left equals right
quit();

# 17:06:54 >  
# 17:06:54 >  Done.
# 17:06:54 >