NetComplete synthesizes config for a too strict sketch (6)

[alehed]

In the completely non-symbolic sketch that is set in a way that the path R2, R1, R4, R6 is preferred due to it having a lower IGP metric, NetComplete synthesizes a configuration for the requirement that the path R2, R1, R3, R5 should be preferred.

Steps to reproduce:

• replace 1 with 6 in the method test_single_fail_configuration of 'test_bgpver.py'
• run only this test case
• check that the requirements are not met by running python grigori/checking/network.py var/tmp/

[alehed]

Right now this still fails.

[ahassany]

Hmm, I don't what do you mean by fails.

But the IGP costs are set to symbolic, so net complete will synthesize correct IGP costs.

I printed the edge costs and found the following:

Cost R1->R3 EMPTY?Value
Cost R1->R4 EMPTY?Value

[alehed]

My bad, that is just a too stupid mistake.