Heinz Knutzen

Wrong name of test case in coverage_test.go

1

Two test case have the same name "from root, integration mode": https://github.com/go-gremlins/gremlins/blob/ec07e489fffbb98f5ca74109b3e680fb1c5a04a9/internal/coverage/coverage_test.go#L61-L72 I think the second test should have name "from folder, integration mode".

Use comma separated value for -tags in test

1

In https://github.com/go-gremlins/gremlins/blob/ec07e489fffbb98f5ca74109b3e680fb1c5a04a9/internal/coverage/coverage_test.go#L77 the value for flag "-tag" is given as "tag1 tag2". But according to documentation, this should be written as "tag1,tag2". From `go help build`: > -tags tag,list >...

[bug] Mutation conditionals-negation only works partially with conditionals-boundary disabled

5

## 🐞Bug Report ### Bug Description The mutation conditionals-negation is only applied to "==" and "!=" but not to ">", "

When is a "bind_nat = x" useless? 1. bind_nat is applied to an unmanaged device and 2. the area where this bind_nat is applicable, has no managed device and 3....

Program export-netspoc should be simplified after this commit of Netspoc-Web has been deployed: Use better algorithm to find supernets https://github.com/hknutzen/Netspoc-Web/commit/76fab51813e51495b5e632fcd8b3ac3d3f13ccf6 After this change, attribute "is_supernet" is no longer needed. And...

In this topology ``` n1--router:r1--n2(10.1.2.0/24) \--n3(10.1.2.128/25) ``` with rule n1-->n2 we would get this warning ``` This supernet rule would permit unexpected access: permit src=network:n1; dst=network:n2; prt=tcp 80; of service:s1...