Comments (6)
Hi Sebastian,
Oh, thanks for pointing out the issue. You are right, it should be:
snprintf(tmp, MAX_STR_LEN, COMMAND_LPG_1SOL_REPLAN, TOOLDIR, seed, inputplan);
I guess the issue occurred after I fixed the offline version (which share commands with the online one).
Apologies for my omission.
from app-trapper.
Does this work for you @lchrpa ? The offline works perfectly though
from app-trapper.
It seems it does not like:
#define COMMAND_LPG_1SOL "%s/lpg -f pfile.pddl -o domain.pddl -out soln.tmp -n 1 -seed %d -cputime 60 -nobestfirst -inst_with_contraddicting_objects -same_objects"
Interestingly, the line just after in the else does work well:
snprintf(tmp, MAX_STR_LEN, COMMAND_LPG_1SOL_REPLAN, seed, inputplan);
where:
#define COMMAND_LPG_1SOL_REPLAN "%s/lpg -f pfile.pddl -o domain.pddl -n 1 -seed %d -cputime 60 -input_plan %s"
What I don't understand is how the first %s
is filled in in both cases?!?! In fact, if I delete %s
from the first one, it does compile well.
That %s
is the path to the executable lpg
, don't we need to pass that data in those lines?
from app-trapper.
Following it a bit more, shouldn't the %s
be filled with __TOOLDIR__
? I don't understand how the line:
snprintf(tmp, MAX_STR_LEN, COMMAND_LPG_1SOL_REPLAN, seed, inputplan);
happens to work, because COMMAND_LPG_1SOL_REPLAN
has three placeholders, but we are only filling two: seed
and inputplan
.
I am clearly missing something big here due to my lack of C knowledge!
from app-trapper.
I propose this change:
from app-trapper.
Thanks for confirming Lukas!
from app-trapper.
Related Issues (10)
- Which file: main.c or main-trap.c? HOT 9
- Not running with lpg option HOT 4
- Clean-up repo and do documentation HOT 13
- Remove the `j`? is it safe ? HOT 3
- Error due to LPG option `-same_object` HOT 8
- Improve example HOT 10
- Understand Trapper-based solvers using LPG HOT 2
- char *x vs char (*x)[500] warning HOT 2
- Is this fix correct? HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from app-trapper.