search

runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Instead of replacing a common path prefix with `...`, just delete #1009

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

the common prefix and the following / and insert nothing, for now. This always leaves a relative path.