litmus. Automatically generated litmus tests for validation LISA-language Linux-kernel memory models

github.com/paulmckrcu/litmus
by @paulmckrcu

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.