liquidjava/liquidjava at unsatisfiable-refinement-error · liquid-java/liquidjava · GitHub

Sitelet https://github.com/liquid-java/liquidjava/blob/unsatisfiable-refinement-error/liquidjava

executable file

·

4 lines (4 loc) · 128 Bytes

#!/bin/bash
mvn exec:java -pl liquidjava-verifier \
  -Dexec.mainClass="liquidjava.api.CommandLineLauncher" \
  -Dexec.args="$*"