Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
examples
tests
regexp-test.why
Find file
Blame
History
Permalink
move tests out of the standard library files
· d8311c4d
Andrei Paskevich
authored
Mar 22, 2013
they now live in examples/tests/ also, simplify bench/bench script
d8311c4d