Open
Description
The run-goto-transcoder-script.sh use a regex to select the harnesses is able to currently check. However, Kani can produce different file names for different compilation sessions. A regex like this may end up getting older compilation artifacts. The best way to solve this might be with some tighter integration to Kani.