search

klee / klee-web

KLEE in the browser
Other
50 stars 15 forks source link

Fixed coverage by removing import for gcovparse and creating modified gcovparse within /util #198

Closed kt218 closed 2 years ago

ccadar commented 2 years ago

Thanks, @kt218 , with the license clearly acknowledged, we can merge this now.