mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-17 21:11:35 +03:00
7 lines
135 B
Bash
Executable File
7 lines
135 B
Bash
Executable File
#!/bin/bash
|
|
CRYPTOL=/Users/emullen/cryptol/dist/build/Cryptol/cryptol
|
|
IN="$1"
|
|
|
|
echo ":all" | "$CRYPTOL" "$IN" | cut -c 7- | tail -n 1
|
|
|