Skip to content
GitLab
Explore
Sign in
Spot
divine-ltsmin-deb
Repository
divine-ltsmin-deb
tools
dvecompile.h
Find file
Blame
History
Permalink
Export guards
· b2b7d671
Elwin Pater
authored
Aug 05, 2010
* Split guard on localstate, condition and channel * Works for committed transitions
b2b7d671