tst006.stable.out

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

stdout of test 'tst006` in directory 'src/mal` itself:


# 07:58:33 >  
# 07:58:33 >  Mtimeout -timeout 60 Mserver "--config=/ufs/mk/monet5/Linux/etc/MonetDB5.conf" --debug=10 --set "monet_mod_path=/ufs/mk/monet5/Linux/lib/MonetDB5:/ufs/mk/opensource/MonetDB/Linux/lib/MonetDB" --set "gdk_dbfarm=/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm" --set "sql_logdir=/ufs/mk/monet5/Linux/var/MonetDB5/log" --set mapi_port=42158 --set sql_port=55708 --set monet_prompt= --trace "--config=/ufs/mk/monet5/src/mal/Tests/All.conf" --dbname=mTests_src_mal  tst006.mal </dev/null
# 07:58:33 >  

# Monet Database Server V4.99.19
# Copyright (c) 1993-2004, CWI. All rights reserved.
# Compiled for i686-redhat-linux-gnu/32bit; dynamically linked.
# config:/ufs/mk/monet5/Linux/etc/MonetDB5.conf
# dbfarm:/ufs/mk/monet5/Linux/var/MonetDB5/dbfarm
# dbname:mTests_src_mal
# Visit http://monetdb.cwi.nl/ for further information.
#	r:=0;
#barrier	l:= r < 1;
#	print(l);
#	print(r);
#	r:= r+1;
#	l:= false;
#	redo l;
#exit	l;
#
function user.main():void;	# 0  (main:void)
    r := 0;	# 1  (r:int)<-(_2:int)
barrier l := calc.<(r,1);	# 2 CALCcompLTintint (l:bit)<-(r:int)(_4:int) jump 8
    io.print(l);	# 3 IOprint_val (_5:void)<-(l:bit)
    io.print(r);	# 4 IOprint_val (_6:void)<-(r:int)
    r := calc.+(r,1);	# 5 CALCbinaryADDintint (r:int)<-(r:int)(_4:int)
    l := false;	# 6  (l:bit)<-(_7:bit)
    redo l;	# 7  (l:bit) jump 3
exit l;	# 8  (l:bit)
end main;	# 9  
[ true ]
[ 0 ]

# 07:58:34 >  
# 07:58:34 >  Done.
# 07:58:34 >