search

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
214 stars 58 forks source link

Ignore .annot #42

Closed yanxx297 closed 4 years ago

yanxx297 commented 4 years ago

OCaml compiler general .annot files when ANNOTATE is set to true. Tell git to ignore those files.