Marc Brinkmann
|
29b2030edf
|
Partial docs.
|
2018-08-27 18:06:50 +02:00 |
Marc Brinkmann
|
fef6d9dfe5
|
Removed stale comment.
|
2018-08-27 17:53:34 +02:00 |
Marc Brinkmann
|
8fe9c171db
|
Use a message instead of crank limit in test case.
|
2018-08-27 17:38:24 +02:00 |
Marc Brinkmann
|
0e4dbb88b5
|
Introduce `message_limit`.
|
2018-08-27 17:38:09 +02:00 |
Marc Brinkmann
|
482e800873
|
Introduce a two-million cranks limit.
|
2018-08-27 17:11:32 +02:00 |
Marc Brinkmann
|
dcdb948783
|
Fixed logic inversion error.
|
2018-08-27 17:06:22 +02:00 |
Marc Brinkmann
|
63e7c39ffa
|
Added a `crank_limit`.
|
2018-08-27 17:03:51 +02:00 |
Marc Brinkmann
|
b9ddde0e8a
|
Add configurable traces.
|
2018-08-27 16:42:24 +02:00 |
Marc Brinkmann
|
7005c428f9
|
Introduce a builder for network construction.
|
2018-08-27 16:33:40 +02:00 |
Marc Brinkmann
|
53bbaa8651
|
Mention output checking convenience functions in docs.
|
2018-08-27 15:02:41 +02:00 |
Marc Brinkmann
|
e4477b9ea1
|
Verify output order.
|
2018-08-27 15:00:58 +02:00 |
Marc Brinkmann
|
438cfb7521
|
Replaced `expand_messages` with the more powerful (and aptly named) `process_step`.
|
2018-08-27 14:43:06 +02:00 |
Marc Brinkmann
|
ae09a9b2d7
|
Document tracing and `Node<D>`.
|
2018-08-27 13:53:34 +02:00 |
Marc Brinkmann
|
864893e2c0
|
Improve wording on tracing section.
|
2018-08-27 13:48:26 +02:00 |
Marc Brinkmann
|
9629fdbc11
|
Do not trace if tracing is disabled.
|
2018-08-27 13:47:14 +02:00 |
Marc Brinkmann
|
e8805d3467
|
Moved `util` module to `net`, to avoid complicated `extern crate`s for every test case.
|
2018-08-27 13:29:46 +02:00 |
Marc Brinkmann
|
bb71a09de7
|
Moved `try_some!` macro into utils.
|
2018-08-27 13:28:32 +02:00 |
Marc Brinkmann
|
bacaa1f61c
|
Wrote `README.md` for tracing.
|
2018-08-27 13:19:20 +02:00 |
Marc Brinkmann
|
a7810720eb
|
Fixed typos.
|
2018-08-27 12:55:20 +02:00 |
Marc Brinkmann
|
dce28ad72f
|
Draft first parts of test docs.
|
2018-08-25 13:52:44 +02:00 |
Marc Brinkmann
|
2e2e46c4b2
|
Cleaned up `net_dynamic_hb` and relevant `net::*` functions.
|
2018-08-25 13:50:55 +02:00 |
Marc Brinkmann
|
58740ad7ea
|
Removed `FaultyNodeButNoAdversary`.
|
2018-08-25 13:10:54 +02:00 |
Marc Brinkmann
|
50af43cfe7
|
Initialize with `NullAdversary` by default.
|
2018-08-25 12:51:58 +02:00 |
Marc Brinkmann
|
c1ba814e0d
|
Document and complete step-based `VirtualNet` constructor.
|
2018-08-25 12:46:38 +02:00 |
Marc Brinkmann
|
d7aeccd077
|
Improved docs for `SubSlice`.
|
2018-08-25 11:56:35 +02:00 |
Marc Brinkmann
|
aaf493a6be
|
Remove unused import.
|
2018-08-25 11:55:47 +02:00 |
Marc Brinkmann
|
eb7eac5f60
|
Added subslice documentation and tests.
|
2018-08-25 11:52:11 +02:00 |
Marc Brinkmann
|
36e0984c0b
|
Removed unused `choose_approx`.
|
2018-08-25 11:38:12 +02:00 |
Marc Brinkmann
|
677c51e896
|
Moved slice methods to `util` module.
|
2018-08-25 11:37:55 +02:00 |
Marc Brinkmann
|
e7186b1e5a
|
Call the test from a wrapper.
|
2018-08-25 11:30:16 +02:00 |
Marc Brinkmann
|
e659655e5e
|
Rustfmt.
|
2018-08-25 11:22:54 +02:00 |
Marc Brinkmann
|
8c2a4062cc
|
Bring code in line with API changes.
|
2018-08-25 11:22:39 +02:00 |
Marc Brinkmann
|
3756551271
|
Removed pattern from `SubSlice` trait definition.
|
2018-08-25 11:02:04 +02:00 |
Marc Brinkmann
|
e08940a41a
|
Remove some stale code.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
447a931045
|
Green tests on new honey badger test.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
4b9f79efdc
|
Partially implement remaining functionality.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
9562a1fc66
|
Remove stale debug `println`.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
fcd9ee3e24
|
Handle/unwrap more potential errors.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
a6d19a9da9
|
Removed now obsolete `sender`.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
4753a5afc9
|
Do not move queues when initializing.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
c36b7465a4
|
Fixed critical message adressing bug.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
afeb990a7e
|
Do not broadcast to sender.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
0f84765ae6
|
WIP commit of `net_dynamic_hb.rs`.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
e948429502
|
Added mutable `algorithm accessor`.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
7b1adf0100
|
Band-aid fix for adversary.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
0dc4c6b7bc
|
Take advantage of `?` operator on `Option`.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
94117f419d
|
Added accessor for `algorithm`.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
9390ce032c
|
Enable tracing.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
2d4fefabcf
|
Added adversary setter.
|
2018-08-25 10:58:09 +02:00 |
Marc Brinkmann
|
7cbc6cd6d2
|
Removed obsolete constructor.
|
2018-08-25 10:58:09 +02:00 |