← Back to branch summary

~verifypn-stub/verifypn/ctl_search_strategies

« back to all changes in this revision

Viewing changes to PetriEngine/PetriNetBuilder.cpp

  • Committer: Peter G. Jensen
  • Date: 2018-02-19 08:46:37 UTC
  • Revision ID: peter.gjoel@gmail.com-20180219084637-51nbuvx76ox2wac7
tmp

Show diffs side-by-side

added added

removed removed

Lines of Context:
PetriEngine/PetriNetBuilder.cpp
216
216
                    assert(place_cons_count[pre.place] > 0);
217
217
                    --place_cons_count[pre.place];
218
218
                    ++freeinv;
 
219
                    assert(false);
219
220
                }
220
221
                
221
222
                net->_transitions[freetrans].outputs = freeinv;