バグ: pre-query 実行前に存在しないテーブルが存在すると、analyzing queryで見えない。
例えば、combsqlplus-examplesのmagicについて、magic4.dbがない状態で実行すると、pre-queryで作成したファイルが見えていない。
- 2度めの実行では正常に動作する。
- magic4.dbにテーブルさえ存在すれば、中身とは関係なく問題が起きない。
% ~/combsqlplus-examples/magic$ ./exec.sh 4
DBFILE=magic4.db
combsql+ -f --solver z3 magic.sql magic4.db 2> errors.txt
reading input query...
done.
executing pre-query...
done.
parsing COP query...
done.
analyzing query...
fail.
CombSQLError: Unknown table name: positions (can not use VIEWs)
Creating magic4-solution.csv
Error: near line 4: no such table: solution