Giters

fbq / litmus

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

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

License:GNU General Public License v2.0

Languages

Language:Awk 48.9%Language:Shell 48.9%Language:C 1.4%Language:Makefile 0.8%