A subset of lock-unlock instances in linux kernel 3.19-rc1 Created for analysis using Atlas - http://www.ensoftcorp.com/atlas/
Currently has two extracted subsets,
- Linux-Subset - Has 5 different lock instances. Intended Usage : Teaching 2-event verification problem
- PCG-Linux-Demo - Has two instances corresponding to the bugs that were found using PCGs Intended Usage : Demonstrating how to find these bugs using PCGs. Also contains the index for this project built using Atlas 3.3