jariba / europa-pso

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

Simple resource uses case causes exception #118

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
See the extremely simple example attached.  Only the initial state file 
matters.  Trying running 'make' in this directory to run the model.  You will 
see this exception:

Resource/base/Profile.cc:45: Error: m_transactions.find(t) == 
m_transactions.end() is false
        Attempted to insert a transaction twice!

It seems that creating a token on a second instance of a resource is causing 
trouble, which shouldn't happen.  Note that commenting out this line:

Battery battery = new Battery(10, 0, 10);

causes things to work!!

Original issue reported on code.google.com by tristanb...@gmail.com on 18 Mar 2011 at 10:42

Attachments:

GoogleCodeExporter commented 8 years ago
I fixed this in r6355

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