Sandy Cheung
e0d1da5839
0413 with 24 threads,modify pmaple's bugs
|
il y a 8 ans | |
|---|---|---|
| sources | il y a 8 ans | |
| README | il y a 8 ans | |
| ReasonLS-run.sh | il y a 8 ans | |
| makefile | il y a 8 ans |
README
to compile:
make
This will create an executable in bin directory.
to clean:
make clean
to run:
./shell ReasonLS-run.sh $1 $2
$1 :inputFile absolutely path
$2 :-drup-file=$2/proof.out
make
This will create an executable in bin directory.
to clean:
make clean
to run:
./shell ReasonLS-run.sh $1 $2
$1 :inputFile absolutely path
$2 :-drup-file=$2/proof.out