Testing and Debugging

To run all the unit tests of syscalls, simply witch to the safeposix-rust directory and run cargo test --lib. To skip some tests, you can comment out unwanted tests at safeposix-rust/src/tests/mod.rs.

To debug, you firstly run the cargo test. After it runs. at the top you of the output, you will see a path starting with target/ and whatever else that follows. You copy that path, and then do rr record (paste target path here). Then do rr replay, and set a breakpoint at one of these tests.

If meet net device couldn't find error, run the script gen_netdevs.sh then do the test again.