Skip to main content
Revision 1e6d420bd53a6b8d0c563c9c35ab0aa266daff04 authored by Cameron Low on 04 September 2023, 15:38:51 UTC, committed by Cameron Low on 04 September 2023, 15:38:51 UTC
No argument proc typing
1 parent 46d6948
Raw File Download
bin-ec-runtest
#! /bin/bash

exec $(dirname $0)/easycrypt runtest "$@"
back to top