Skip to content
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

Missing lava.sql #73

Closed
FarrukhCyber opened this issue Nov 1, 2024 · 1 comment
Closed

Missing lava.sql #73

FarrukhCyber opened this issue Nov 1, 2024 · 1 comment

Comments

@FarrukhCyber
Copy link

Hi,
I have setup the tool in a docker container using pandare/lava image from docker hub. After following all the steps in README file (such as setting up postgresql and running init-host.py), When I run ./scripts/lava.sh -ak toy, I get the following error:

[everything] Parsing args
[everything] All steps will be executed
[everything] --force: Forcing through deletes
Fri Nov  1 11:38:24 PM UTC 2024
[everything] JSON file is /lava/target_configs/toy/toy.json
[lava] Deleting /lava/target_injections/toy/toy.
...deleting
[lava] Deleting /lava/target_injections/toy/bugs.
...deleting
[lava] Deleting /lava/target_injections/toy/inputs.
...deleting
[lava] Deleting /lava/target_injections/toy/*rr-*.
...deleting
[lava] Deleting /lava/target_injections/toy/*.plog.
...deleting
[lava] Deleting /lava/target_injections/toy/*.json.
...deleting
[everything] Truncating logs...
Fri Nov  1 11:38:24 PM UTC 2024
[everything] Resetting lava db -- logging to /lava/target_injections/toy/logs/dbwipe.log
dropdb -U postgres -h localhost toy_defaultuser || true
createdb -U postgres -h localhost toy_defaultuser || true
psql -d toy_defaultuser -h localhost -f "/lava/tools/lavaODB/generated/lava.sql" -U postgres
command failed! exit code was 1
========== end of logfile /lava/target_injections/toy/logs/dbwipe.log: ========== 

dropdb -U postgres -h localhost toy_defaultuser || true
dropdb: error: database removal failed: ERROR:  database "toy_defaultuser" does not exist
createdb -U postgres -h localhost toy_defaultuser || true
psql -d toy_defaultuser -h localhost -f "/lava/tools/lavaODB/generated/lava.sql" -U postgres
psql: error: /lava/tools/lavaODB/generated/lava.sql: No such file or directory

I'm assuming this lava.sql will generate automatically, so which step I'm missing for this?
Thank you!

@AndrewQuijano
Copy link
Collaborator

Hello,
Currently, the work for the container is still a WIP #70. I hope to finish this work relatively soon, at the moment, there are some updates needed on PANDA for LAVA to work consistently with 64-bit bugs (and support LLVM-11, etc.). Once the PR is in, I can try to take a look to fix this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants