Skip to content

Instantly share code, notes, and snippets.

@mrafayaleem

mrafayaleem/gist:8610869

Created January 25, 2014 02:27
Show Gist options
  • Save mrafayaleem/8610869 to your computer and use it in GitHub Desktop.
Save mrafayaleem/8610869 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
sdx@Internet2-SDX:~/pyretic$ ./pyretic.py pyretic.sdx.main
[match: ('dstip', 110.0.0.1)]
[match: ('dstip', 120.0.0.1)]
[match: ('dstip', 130.0.0.1)]
[u'C', u'B']
sequential:
parallel:
sequential:
match: ('inport', 1)
modify: ('state', u'inA')
sequential:
match: ('inport', 3)
modify: ('state', u'inC')
sequential:
match: ('inport', 4)
modify: ('state', u'inC')
sequential:
match: ('inport', 2)
modify: ('state', u'inB')
sequential:
sequential:
identity
parallel:
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inA')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'outA_0') ('dstmac', 00:00:00:00:00:01)
sequential:
parallel:
match: ('dstip', 120.0.0.1)
modify: ('state', u'inB')
sequential:
parallel:
match: ('dstip', 130.0.0.1)
modify: ('state', u'inC')
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inC')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 130.0.0.1)
modify: ('state', u'outC_0') ('dstmac', 00:00:00:00:00:03)
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'inA')
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inB')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 120.0.0.1)
modify: ('state', u'outB_0') ('dstmac', 00:00:00:00:00:02)
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'inA')
parallel:
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inA')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'outA_0') ('dstmac', 00:00:00:00:00:01)
sequential:
parallel:
match: ('dstip', 120.0.0.1)
modify: ('state', u'inB')
sequential:
parallel:
match: ('dstip', 130.0.0.1)
modify: ('state', u'inC')
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inC')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 130.0.0.1)
modify: ('state', u'outC_0') ('dstmac', 00:00:00:00:00:03)
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'inA')
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inB')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 120.0.0.1)
modify: ('state', u'outB_0') ('dstmac', 00:00:00:00:00:02)
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'inA')
parallel:
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inA')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'outA_0') ('dstmac', 00:00:00:00:00:01)
sequential:
parallel:
match: ('dstip', 120.0.0.1)
modify: ('state', u'inB')
sequential:
parallel:
match: ('dstip', 130.0.0.1)
modify: ('state', u'inC')
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inC')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 130.0.0.1)
modify: ('state', u'outC_0') ('dstmac', 00:00:00:00:00:03)
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'inA')
if
union:
drop
match: ('state', u'outC_0')
match: ('state', u'outC_1')
match: ('state', u'outA_0')
match: ('state', u'outB_0')
then
identity
else
sequential:
match: ('state', u'inB')
parallel:
parallel:
sequential:
parallel:
match: ('dstip', 120.0.0.1)
modify: ('state', u'outB_0') ('dstmac', 00:00:00:00:00:02)
sequential:
parallel:
match: ('dstip', 110.0.0.1)
modify: ('state', u'inA')
parallel:
sequential:
match: ('state', u'outC_0')
modify: ('state', None)
fwd 3
sequential:
match: ('state', u'outC_1')
modify: ('state', None)
fwd 4
sequential:
match: ('state', u'outA_0')
modify: ('state', None)
fwd 1
sequential:
match: ('state', u'outB_0')
modify: ('state', None)
fwd 2
POX 0.1.0 (betta) / Copyright 2011-2013 James McCauley, et al.
Connected to pyretic frontend.
INFO:core:POX 0.1.0 (betta) is up.
INFO:openflow.of_01:[None 1] closed
INFO:openflow.of_01:[00-00-00-00-00-01 2] connected
RECEIVED REQUEST FOR 10.0.0.3 FROM 110.0.0.1, UNKNOWN HOST
--------- INJECTING REQUEST ON 1[2] FOR 10.0.0.3 FROM 110.0.0.1 -----------
--------- INJECTING REQUEST ON 1[3] FOR 10.0.0.3 FROM 110.0.0.1 -----------
--------- INJECTING REQUEST ON 1[4] FOR 10.0.0.3 FROM 110.0.0.1 -----------
OUTSTANDING RESPONSE FOR 10.0.0.3 TO 110.0.0.1
--------- INJECTING RESPONSE ON 1[1] FOR 10.0.0.3 TO 110.0.0.1 -----------
RECEIVED REQUEST FOR 10.0.0.1 FROM 130.0.0.1, UNKNOWN HOST
--------- INJECTING REQUEST ON 1[2] FOR 10.0.0.1 FROM 130.0.0.1 -----------
--------- INJECTING REQUEST ON 1[1] FOR 10.0.0.1 FROM 130.0.0.1 -----------
--------- INJECTING REQUEST ON 1[4] FOR 10.0.0.1 FROM 130.0.0.1 -----------
OUTSTANDING RESPONSE FOR 10.0.0.1 TO 130.0.0.1
--------- INJECTING RESPONSE ON 1[3] FOR 10.0.0.1 TO 130.0.0.1 -----------
INFO:openflow.of_01:[00-00-00-00-00-01 2] closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment