4 ms·Owi: Performant parallel symbolic execution made easy with OCaml and WebAssembly1 points by fanf2 2y ago