source: CIVL/examples/translation/pthread/README@ 50f834b

1.23 2.0 main test-branch
Last change on this file since 50f834b was bf46837, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

added comments.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@824 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 288 bytes
Line 
1This folder contains examples of translating Pthread programs into CIVL model.
2Run "make" will execute the verification of all CIVL models in this folder.
3All programs are taken from the Pthread benchmarks of SV-COMP 2014
4(https://svn.sosy-lab.org/software/sv-benchmarks/tags/svcomp14/).
Note: See TracBrowser for help on using the repository browser.