Move fold-map infrastructure out of x86/AST

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Move fold-map infrastructure out of x86/AST #34

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

There's a lot of fold-map scaffolding I put into x86/Ast.ml that'll generalise to other languages. It should be moved somewhere more general, and documented better---it's fairly arcane.