Skip to content
GitLab
Explore
Sign in
Spot
go2pins
Repository
go2pins
boilerplate
main.go
Find file
Blame
History
Permalink
boilerplate: modelcheck return 1 in case of counterexample
· 712d7763
Etienne Renault
authored
Dec 09, 2020
* boilerplate/main.go: Here.
712d7763