Inicio Explorar Axuda
Rexistro Iniciar sesión
dezhangxd
/
ReasonLS
1
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0 Wiki

Sen descrición

Árbore: e0d1da5839
Ramas Etiquetas
ReasonLS
ZIP TAR.GZ
Sandy Cheung e0d1da5839 0413 with 24 threads,modify pmaple's bugs %!s(int64=8) %!d(string=hai) anos
sources e0d1da5839 0413 with 24 threads,modify pmaple's bugs %!s(int64=8) %!d(string=hai) anos
README 11f3a3d2dd 20170412 para with aspiration %!s(int64=8) %!d(string=hai) anos
ReasonLS-run.sh e0d1da5839 0413 with 24 threads,modify pmaple's bugs %!s(int64=8) %!d(string=hai) anos
makefile 11f3a3d2dd 20170412 para with aspiration %!s(int64=8) %!d(string=hai) anos

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