Skip to content
/ tsano Public
forked from open-s4c/tsano

A library mocking all instrumentation functions from TSAN

License

Notifications You must be signed in to change notification settings

ggeier/tsano

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

libtsano implements an empty TSAN interface. Atomic operations behave as expected compiler builtins and seq_cst barriers.

Use tsano script to start a program with libtsano instead of libtsan.

About

A library mocking all instrumentation functions from TSAN

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 97.6%
  • Shell 1.5%
  • CMake 0.9%