Add a new option flag, `-b`, that makes `rvpdump` print the bytes - Githubissues

runtimeverification / rv-predict

Code for improved rv-predict and installer

BSD 3-Clause "New" or "Revised" License

2 stars 3 forks source link

Add a new option flag, `-b`, that makes `rvpdump` print the bytes #1032

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

comprising each event in hexadecimal.