-
Notifications
You must be signed in to change notification settings - Fork 208
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
crash due to missing tmp/ans.txt #142
Comments
Thank you for your feedback. This is a bug in the version before 1.2. If the .tmp directory is missing in the GSTORE_HOME directory, it will cause an exception. |
What about looking in the current directory if GSTORE_HOME is unset? I've got another question: Where may I find the testing data?
|
First question: Second question: |
I guess you have executed the scripts/run_watdiv.sh script, and the path in the script needs to be changed to your own path. For related scripts, refer to docs/test/formal_experiment.tex file. |
I've built current git master (1.2) and installed it the LSB binary folder of my distro: /usr/bin
Building an example db crashes:
gbuild -db watdiv10 -f watdiv.10M.nt
Since an empty file is sufficient may you please let gStore automatically create it?
The text was updated successfully, but these errors were encountered: