kani icon indicating copy to clipboard operation
kani copied to clipboard

Det playback: Add unit tests for `kani-driver` components

Open sanjit-bhat opened this issue 3 years ago • 0 comments

See title. This needs to:

  1. Separate modify_src_code into smaller functions.
  2. Add unit tests for modify_src_code and format_unit_test.

sanjit-bhat avatar Aug 11 '22 18:08 sanjit-bhat