Commit 25718e5e authored by Vivien Kraus's avatar Vivien Kraus
Browse files

Merge branch '130-formal-verification-with-frama-c' into 'develop'

Resolve "Formal verification with frama-c"

Closes #130

See merge request !131
parents c0100ed0 1ae4482f
Pipeline #212663 failed with stages
in 2 minutes and 12 seconds