📄 tst2505.stable.out
字号:
stdout of test 'tst2505` in directory 'src/mal` itself:# 08:01:06 > # 08:01:06 > 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 tst2505.mal </dev/null# 08:01:06 > # 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.## The prototypical factory construct## test factory return and restart##factory random(seed:int):int;# i:= seed;# i:= 125 *i;# i:= i % 32767;# yield i;# i:= 125 *i;# i:= i % 32767;# return i;#end;factory user.random(seed:int):int; # 0 (random:int)<-(seed:int) i := seed; # 1 (i:int)<-(seed:int) i := calc.*(125,i); # 2 CALCbinaryMULintint (i:int)<-(_3:int)(i:int) i := calc.%(i,32767); # 3 CALCbinarycheckMODintint (i:int)<-(i:int)(_4:int) yield i; # 4 (i:int) i := calc.*(125,i); # 5 CALCbinaryMULintint (i:int)<-(_3:int)(i:int) i := calc.%(i,32767); # 6 CALCbinarycheckMODintint (i:int)<-(i:int)(_4:int) return i; # 7 (i:int)end random; # 8 ##r1:= random(1);#print(r1);#r2:= random(34);#print(r2);#r2:= random(2);#print(r2);#r2:= random(2);#print(r2);#function user.main():void; # 0 (main:void)# The prototypical factory construct # 1 (_1:str)# test factory return and restart # 2 (_2:str) r1 := user.random(1); # 3 (r1:int)<-(_4:int) io.print(r1); # 4 IOprint_val (_5:void)<-(r1:int) r2 := user.random(34); # 5 (r2:int)<-(_7:int) io.print(r2); # 6 IOprint_val (_8:void)<-(r2:int) r2 := user.random(2); # 7 (r2:int)<-(_9:int) io.print(r2); # 8 IOprint_val (_10:void)<-(r2:int) r2 := user.random(24); # 9 (r2:int)<-(_11:int) io.print(r2); # 10 IOprint_val (_12:void)<-(r2:int)end main; # 11 [ 125 ][ 15625 ][ 250 ][ 31250 ]# 08:01:06 > # 08:01:06 > Done.# 08:01:06 >
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -