Ruize Tang
Ruize Tang
Hi, it is very convenient to use your tool! I also developed a similar tool, written in bash and run on GUI environment. Its auto-completion is not as powerful as...
Some wide characters (e.g. CJK characters and emoji) have more than 1 size to display. If the PWD contains these characters, the prompt bar size is not correctly calculated and...
In the traces dumped in simulation mode, action's name is lost. Here is an example: ``` STATE_1 == /\ big = 5 /\ small = 0 STATE_2 == /\ big...
I found a bug in [Raft TLA+](https://github.com/ongardie/raft.tla) [#6](https://github.com/ongardie/raft.tla/pull/6/files/182859802169f4ede94232f594f224388ac9f8b1#diff-bb3d38bb39f3fe7a00caad9b3342885e40e0d8bd96eb74897bf9ffe137a83355L372), which declares `logVars` has not unchanged but has changed. The bug was not fixed until 2018, which indicates `HandleAppendEntriesRequest` action was not...
Hi, I built the atomic example with `-DEXAMPLE_LINK_SO=on` to reduce target sizes. But `./atomic_server` failed: ``` ERROR: something wrong with flag 'log_as_json' in file '/project/brpc/src/butil/logging.cc'. One possibility: file '/project/brpc/src/butil/logging.cc' is...
glog was removed from the source of atomic example but its dependency remained in CMakeLists.txt. Fix: ```sh sed -i -e '/GLOG/d' -e '/glog/,+1 d' CMakeLists.txt ``` A same pr: https://github.com/baidu/braft/pull/51
Hello! I found some catastrophic consequences mainly caused by snapshot. Maybe they are bugs or misuses of the library. If some of them are bugs, it can cause data loss,...
I found gzip option saves about 88% disk spaces of state files (all-number named files, and overall is about 80%). And the performance loss (states found in 10 minutes) is...
## Description I used TLC `-dumpTrace` option to run DieHard example to get the JSON trace, but found that the trace in the JSON file is different from MC.out. A...
## Description I accidentally omitted the `-deadlock` option to not to check deadlock in **distributed mode**. Then TLC Server reported an error trace without given the error cause. I manually...