search

kouamano / RECURSIVE-SYSTEM

test for recursive operation
3 stars 1 forks source link

tq/cqで差が出ている #74

Closed kouamano closed 4 years ago

kouamano commented 4 years ago 
- 配列指定のあるリーフノードにバインドされる
[0029] ./tq.o in=test_bind.t  data=test.csv -FT -Pin
<tq/cq> 1c1
< $TOP($X$List($LEAF,$LEAF[]@(Length),$LEAF[2]@(Weight,mm)),$X$List[2]($LEAF[2]@
(kg,1,2,322)))
---
> $TOP($X$List($LEAF,$LEAF[]@(Length,Weight,mm,kg,1,2,322,4,5,68,7,81,90,7,100,1
00,99,99,80,80,77,77),$LEAF[2]),$X$List[2]($LEAF[2]))
<tq/ans> ファイル xxxxx/xxx_0029.tq と xxxxx/xxx_0029.ans は同一です
ksakam commented 4 years ago

わかりにくくて申し訳ございませんが、実行結果は正常です。

(理由) ・tqとcqで実行結果が異なる 　　-> []の解釈が異なる点に起因します(bind個数が1か∞か)。 ・比較結果が同一となっている 　　->ここでの比較対象は、以下の２つです。 (a) tqの実行結果 (b) スクリプト内にユーザ記述した正解(スクリプト中”=>”の次の行)

(b)はtqの実行結果を正解として記載しているので(a)と一致します。