← Back to branch summary

~verifypn-cpn/verifypn/colored

« back to all changes in this revision

Viewing changes to Tests/Kanban1000MemLimit-2.xml.q

  • Committer: Jonas Finnemann Jensen
  • Date: 2011-09-15 13:30:00 UTC
  • Revision ID: jopsen@gmail.com-20110915133000-wnywm1odf82emiuw
Import of sources from github

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/Kanban1000MemLimit-2.xml.q
 
1
EF (P8=0 and P1=400 and P12=800 and P5=200 and P11=800 and P6=400 and P14=200 and P10=0 and P15=0 and P7=400 and P3=200 and P2=0 and P4=0 and P0=400 and P13=0 and P9=200)
 
 
b'\\ No newline at end of file'