Commit Graph

579 Commits

Author SHA1 Message Date
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