Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
sasa
test
coloring
state.ml
Find file
Blame
History
Permalink
New: add a ligitimate function in the Algo api
· 3b41ed0b
erwan
authored
Jul 07, 2020
Update: add the previous state in argument of the fault function.
3b41ed0b