search

jariba / europa-pso

Automatically exported from code.google.com/p/europa-pso
1 stars 0 forks source link

Bad NDDL can crash Eclipse #130

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
To replicate:
1. Go to PLASMA->examples->Light.  Right click on Light-initial-state.nddl and 
select "Run as NDDL Model."  Everything works as expected.
2. Now put the following line at the top of 'Light-initial-state.nddl':

fact(LightBulb.On on);

(This is incorrect NDDL because no LightBulb object exists yet)

3. Right click to run as nddl model.  Eclipse will crash.

I'm assigning to Tatiana, not because I think it's her fault, but because I've 
had success doing that in the past :).

Original issue reported on code.google.com by tristanb...@gmail.com on 5 May 2011 at 6:20

GoogleCodeExporter commented 8 years ago 
Not Tatiana's fault for sure. There is a seg fault somewhere deep. With the 
model prepared according to Tristan's recipe above, do

EUROPA::PSEngine* engine = EUROPA::PSEngine::makeInstance();
engine->start();
engine->executeScript("nddl", model, true);
EUROPA::PSSolver* solver = engine->createSolver(config);

Get (dies in Id.hh:274):
Thread [1] (Suspended)  
    9 EUROPA::Id<EUROPA::Token>::convertable<EUROPA::Entity>() Id.hh:274 0x00007ffff734c34a 
    8 EUROPA::SOLVERS::UnboundVariableManager::variableOfNonActiveToken() UnboundVariableManager.cc:107 0x00007ffff5e91ce6  
    7 EUROPA::SOLVERS::UnboundVariableManager::updateFlaw() UnboundVariableManager.cc:82 0x00007ffff5e8f95e 
    6 EUROPA::SOLVERS::UnboundVariableManager::handleInitialize() UnboundVariableManager.cc:38 0x00007ffff5e8e961   
    5 EUROPA::SOLVERS::FlawManager::initialize() FlawManager.cc:107 0x00007ffff5e3b8be  
    4 EUROPA::SOLVERS::Solver::Solver() Solver.cc:73 0x00007ffff5e1dc8f 
    3 EUROPA::PSSolverManagerImpl::createSolver() PSSolversImpl.cc:20 0x00007ffff5e8138f    
    2 EUROPA::PSEngineImpl::createSolver() PSEngineImpl.cc:198 0x00007ffff7b91299   
    1 main() TestCC.cpp:44 0x0000000000402456

Original comment by kichkaylo@gmail.com on 11 May 2011 at 1:38

GoogleCodeExporter commented 8 years ago

Original comment by javier.barreiro@gmail.com on 17 Aug 2011 at 7:51

GoogleCodeExporter commented 8 years ago

Original comment by javier.barreiro@gmail.com on 30 May 2012 at 5:26