tst057.stable.out

一个内存数据库的源代码这是服务器端还有客户端

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


# 11:22:11 >  
# 11:22:11 >  Mtimeout -timeout 60 mserver5 "--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/dblogs" --set mapi_port=31608 --set monet_prompt= --trace --dbname=mTests_src_mal  tst057.mal < /dev/null
# 11:22:11 >  

# MonetDB Server v4.99.19
# Copyright (c) 1993-2006 CWI, all rights reserved
# Compiled for x86_64-redhat-linux-gnu/64bit with 64bit OIDs 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
##leave tests
#
#i:= 1;
#barrier always:=true;
#	io.print("enter always");
#	leave always:= i == 1;
#	io.print("didn't leave properly");
#exit always;
#	io.print("left always 1");
#barrier always:=true;
#	io.print("enter always 2");
#	leave always:= i != 2;
#	io.print("didn't leave properly");
#exit always;
#	io.print("left always 2");
#
function user.main():void;	# 0  (main:void)
#leave tests 	# 1  (_1:str)
    i := 1;	# 2  (i:int)<-(_3:int)
barrier always := true;	# 3  (always:bit)<-(_5:bit) jump 7
    io.print("enter always");	# 4 IOprint_val (_6:void)<-(_7:str)
    leave always := calc.==(i,1);	# 5 CALCcompEQintint (always:bit)<-(i:int)(_3:int) jump 7
    io.print("didn't leave properly");	# 6 IOprint_val (_8:void)<-(_9:str)
exit always;	# 7  (always:bit)
    io.print("left always 1");	# 8 IOprint_val (_10:void)<-(_11:str)
barrier always := true;	# 9  (always:bit)<-(_5:bit) jump 13
    io.print("enter always 2");	# 10 IOprint_val (_12:void)<-(_13:str)
    leave always := calc.!=(i,2);	# 11 CALCcompNEQintint (always:bit)<-(i:int)(_14:int) jump 13
    io.print("didn't leave properly");	# 12 IOprint_val (_15:void)<-(_9:str)
exit always;	# 13  (always:bit)
    io.print("left always 2");	# 14 IOprint_val (_16:void)<-(_17:str)
end main;	# 15  
[ "enter always" ]
[ "left always 1" ]
[ "enter always 2" ]
[ "left always 2" ]

# 11:22:11 >  
# 11:22:11 >  Done.
# 11:22:11 >