Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
scripts
formal
cpp_2017_times.sh
Find file
Blame
History
Permalink
Remove timeout from evaluation since HOL4 Eval should terminate on all our examples
· ef7c0b45
Heiko Becker
authored
Mar 17, 2017
ef7c0b45