Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
buddy
examples
cmilner
cmilner.c
Find file
Blame
History
Permalink
[buddy] * examples/cmilner/cmilner.c (A, transitions, initial_state)
· b535741a
Alexandre Duret-Lutz
authored
Jun 07, 2011
(reachable_states, has_deadlocks): Declare as static functions, to suppress a GCC warning.
b535741a