Hi all, Is there any way to make a shared memory between forked processes? I am looking for something like mmap. It would be great if someone has any idea about this!
Best regards, Sunha.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
