Add model checker check before trylock
authorroot <root@dw-6.eecs.uci.edu>
Tue, 23 Jul 2019 03:10:16 +0000 (20:10 -0700)
committerroot <root@dw-6.eecs.uci.edu>
Tue, 23 Jul 2019 03:10:16 +0000 (20:10 -0700)
commit80f65bca8ca1cd86f47fe5e57ec84335b0fdb06c
tree8b7094d32c0e3bd76d26cdfcef2b1361062abdb7
parent68690971b2a9fc95250480fb3dd4752b2f936791
Add model checker check before trylock
pthread.cc