GaloisInc/daedalus

README needs to be updated

Opened this issue · 0 comments

Some file paths in the README don't exist and need to be updated.

  • tests/midi/midi.ddl --> test-all-ways/tests/midi/midi.ddl (suggested replacement)
  • tests/midi/inputs/moz_k299.midi --> test-all-ways/tests/midi/midi/moz_k299.midi (suggested replacement)