diff --git a/p4app/bug1-bool.json b/p4app/bug1-bool.json index ad3e8b4..e6804c9 100644 --- a/p4app/bug1-bool.json +++ b/p4app/bug1-bool.json @@ -1,5 +1,5 @@ { - "program": "../bug1-bool/static-mapping.p4", + "program": "../p4debug/bug1-bool/static-mapping.p4", "switch": "simple_switch", "compiler": "p4c", "options": "--target bmv2 --arch v1model --std p4-16", diff --git a/p4app/bug2-cast-in-checksum b/p4app/bug2-cast-in-checksum index e71957f..7c93c2c 100644 --- a/p4app/bug2-cast-in-checksum +++ b/p4app/bug2-cast-in-checksum @@ -1,5 +1,5 @@ { - "program": "../bug2-cast-in-checksum/static-mapping.p4", + "program": "../p4debug/bug2-cast-in-checksum/static-mapping.p4", "switch": "simple_switch", "compiler": "p4c", "options": "--target bmv2 --arch v1model --std p4-16", diff --git a/p4debug/bug1-bool/README b/p4debug/bug1-bool/README new file mode 100644 index 0000000..89052f2 --- /dev/null +++ b/p4debug/bug1-bool/README @@ -0,0 +1,51 @@ +Result: + +p4@ubuntu:~/master-thesis/p4app$ sudo p4run --config bug1-bool.json +... +*** Creating network +*** Adding hosts: +h1 h2 h3 h4 +*** Adding switches: +s1 Warning: Linux bridge may not work with net.bridge.bridge-nf-call-arptables = 1 +Warning: Linux bridge may not work with net.bridge.bridge-nf-call-iptables = 1 +Warning: Linux bridge may not work with net.bridge.bridge-nf-call-ip6tables = 1 +sw-cpu +*** Adding links: +(0ms delay) (0ms delay) (h1, s1) (0ms delay) (0ms delay) (h2, s1) (0ms delay) (0ms delay) (h3, s1) (0ms delay) (0ms delay) (h4, + s1) (s1, sw-cpu) +*** Configuring hosts +h1 h2 h3 h4 +*** Starting controller + +*** Starting 2 switches +s1 Starting P4 switch s1. +simple_switch -i 1@s1-eth1 -i 2@s1-eth2 -i 3@s1-eth3 -i 4@s1-eth4 -i 5@s1-cpu-eth0 --pcap=/home/p4/master-thesis/p4app/pcap --t +hrift-port 9090 --nanolog ipc:///tmp/bm-1-log.ipc --device-id 1 ../bug1-bool/static-mapping.json --log-console >/home/p4/master +-thesis/p4app/log/s1.log +P4 switch s1 did not start correctly. Check the switch log file. + +Checking out the log file: + +p4@ubuntu:~/master-thesis/p4app$ cat /home/p4/master-thesis/p4app/log/s1.log +Warning: you requested the nanomsg event logger, but bmv2 was compiled without -DBMELOG, and the event logger cannot be activated +Calling target program-options parser +[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'MyIngress.v6_addresses': NoAction - +[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'MyIngress.v6_networks': NoAction - +[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'MyIngress.v4_networks': NoAction - +[18:45:55.972] [bmv2] [D] [thread 29651] Set default default entry for table 'tbl_act': act - +Invalid entry type 'expression' in field list +bad json: +{ + "type" : "expression", + "value" : { + "type" : "expression", + "value" : { + "left" : null, + "op" : "d2b", + "right" : { + "type" : "field", + "value" : [ "scalars", "metadata.do_cksum" ] + } + } + } +}