reverted one test ref to the original version
"tcpFlagsUrg" : 1
},
"forwardingCase1" : [
- "R2,Serial1 --> R3,Serial0 -- BgpRoute<42.42.42.0/24,nhip:192.168.43.1,nhint:dynamic>",
- "R3,Serial1 --> R1,Serial1 -- BgpRoute<42.42.42.0/24,nhip:192.168.44.2,nhint:dynamic>"
- ],
- "forwardingCase2" : [
"R2,Serial0 --> R1,Serial0 -- BgpRoute<42.42.42.0/24,nhip:192.168.42.2,nhint:dynamic>",
"R3,Serial0 --> R2,Serial1 -- BgpRoute<42.42.42.0/24,nhip:192.168.43.2,nhint:dynamic>"
],
+ "forwardingCase2" : [
+ "R2,Serial1 --> R3,Serial0 -- BgpRoute<42.42.42.0/24,nhip:192.168.43.1,nhint:dynamic>",
+ "R3,Serial1 --> R1,Serial1 -- BgpRoute<42.42.42.0/24,nhip:192.168.44.2,nhint:dynamic>"
+ ],
"result" : {
"forwardingModel" : [
- "R2,Serial1 --> R3,Serial0 (BGP)",
- "R3,Serial1 --> R1,Serial1 (BGP)"
+ "R2,Serial0 --> R1,Serial0 (BGP)",
+ "R3,Serial0 --> R2,Serial1 (BGP)"
],
"packetModel" : {
"dstIp" : "42.42.42.1"
"question" : {
"class" : "org.batfish.question.SmtDeterministicQuestionPlugin$DeterministicQuestion",
"baseEnvType" : "any",
- "benchmark" : false,
"deltaEnvType" : "any",
"differential" : false,
"envDiff" : false,
"failures" : 0,
"fullModel" : false,
- "minimize" : false,
- "useAbstraction" : false
+ "minimize" : false
},
"status" : "SUCCESS",
"summary" : {
