Skip to content

Latest commit

 

History

History
13 lines (7 loc) · 757 Bytes

todo.md

File metadata and controls

13 lines (7 loc) · 757 Bytes

TODO

  1. We have no longer used -dump format file to generate trace file. Parsing .dot file is not efficient. The related source code may need to be deleted from the repo.

  2. Easy-to-use tools that can automatically generate code stubs

  3. The current trace generation algorithm may be not efficent.

  4. Polish the documents

  5. The current tool depends on a fixed second timeout(seconds_wait_message_timeout)[

    pub seconds_wait_message_timeout: u64,
    ] to identify inconsistency action flow between the spec and the implementation. This timeout may be triggered when debugging is in progress, resulting in false-positive reports.