Skip to content

Commit 4d7df27

Browse files
bongjunjbongjunj
committed
[Pattern] debloat
1 parent 85156e8 commit 4d7df27

File tree

5 files changed

+0
-464
lines changed

5 files changed

+0
-464
lines changed

‎src/dune‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,5 @@
1717
seedcorpus
1818
fuzz
1919
mutation
20-
pattern
2120
util
2221
logger))

‎src/pattern/IR.ml‎

Lines changed: 0 additions & 136 deletions
This file was deleted.

‎src/pattern/dune‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎src/pattern/instantiation.ml‎

Lines changed: 0 additions & 180 deletions
This file was deleted.

0 commit comments

Comments
 (0)