Skip to content

Migrate to dune 2.7 and add bisect runes#436

Merged
hannesm merged 5 commits into
mirage:masterfrom
hannesm:dune2
Nov 30, 2020
Merged

Migrate to dune 2.7 and add bisect runes#436
hannesm merged 5 commits into
mirage:masterfrom
hannesm:dune2

Conversation

@hannesm
Copy link
Copy Markdown
Member

@hannesm hannesm commented Nov 25, 2020

this fixes #160 //cc @avsm

@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Nov 25, 2020

@MagnusS do you have an idea why the "iperf with two stacks and uniform packet loss of packets with no payload" fails with:

ASSERT iperf test timed out after 120.000000 seconds
test.exe: [INFO] listen of mac=02:50:00:00:00:02,ip=10.0.0.100 cancelled
FAIL iperf test timed out after 120.000000 seconds

i.e. running in a timeout, esp. on the arm32 runner -- should we increase the timeout? (it is 120 seconds atm)

@hannesm hannesm force-pushed the dune2 branch 2 times, most recently from 8b99f26 to dab2be1 Compare November 25, 2020 16:54
@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Nov 25, 2020

(increasing the timeout for iperf did the trick, I disabled the ipv6 iperf test -- marked it as slow)

@hannesm
Copy link
Copy Markdown
Member Author

hannesm commented Nov 25, 2020

anyone would like to review this? otherwise I'll go ahead merge, release, and fix up fallout

as advertised on the bisect_ppx repository:
dune runtest --instrument-with bisect_ppx --force
bisect-ppx-report summary (or html)
-> Coverage: 2232/3604 (61.93%)
@hannesm hannesm merged commit fbd6668 into mirage:master Nov 30, 2020
@hannesm hannesm deleted the dune2 branch November 30, 2020 09:37
hannesm added a commit to hannesm/opam-repository that referenced this pull request Nov 30, 2020
CHANGES:

* Dual IPv4 and IPv6 socket and direct stack support, now requires
  mirage-stack 2.2.0 and mirage-protocols 5.0.0 (mirage/mirage-tcpip#433 @hannesm)
* The above change also unified arguments passed to connect functions which
  are API-breaking changes
* IPv6 waits for timeout after sending neighbour advertisement (for duplicate
  address detection)
* Remove Xen cross-compilation runes, with mirage-xen 6.0.0 they're provided
  by mirage-xen (mirage/mirage-tcpip#434 @hannesm)
* Move to dune 2.7.0 (and bisect instrumentation if desired) (mirage/mirage-tcpip#436 @hannesm)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

use bisect to test coverage of the tcpip tests

1 participant