Skip to content
GitLab
Explore
Sign in
verimag
synchrone
sasa
Repository
sasa
test
Makefile.dot
Find file
Blame
History
Permalink
test: run kind2 test via the run-kind2.sh + dont hardcode the daemon
· b77000e5
erwan
authored
Jun 29, 2023
b77000e5