• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• gen-token-header.sh

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.src.main.gen-token-header.sh Maven / Gradle / Ivy

#!/bin/sh

grep "\"[a-zA-Z][a-zA-Z0-9_-][a-zA-Z0-9_-]*\"" "$1" | \
  sed 's/.*'\"'\([a-zA-Z0-9_-]*\)'\"'.*/"\1",/' | \
  sort -u > "$2"