swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

JJ: Description from the destination commit:

Browse source 
rename mte_*.ml

JJ: Description from source commit:
~
This commit is contained in:
swrup 2026-03-03 10:16:27 +01:00
parent 4d39d2ff39
commit 47b256689b
19 changed files with 91 additions and 111 deletions
Download patch file Download diff file Expand all files Collapse all files

2
test/management.sh
View file

@ -10,6 +10,8 @@ auditor_pub="A17JXR3E6J4CXDPYT7S1H25PGJ3ABS26TQ38654QCX0TB59RPMF0"
master_key="./default/master_offline_private_key"
zero_kudos="KUDOS:0.0"
# TODO launch mte.exe and kill it a then end with its PID
offline_tool() {
dune exec offline -- "$@" > /dev/null
}