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

Sen descrición

Árbore: 96343b7491
Ramas Etiquetas
ReasonLS
ZIP TAR.GZ
Sandy Cheung 96343b7491 modified python bugs, add some args, 14 threads version %!s(int64=8) %!d(string=hai) anos
sources 96343b7491 modified python bugs, add some args, 14 threads version %!s(int64=8) %!d(string=hai) anos
README 11f3a3d2dd 20170412 para with aspiration %!s(int64=8) %!d(string=hai) anos
ReasonLS-run.sh 11f3a3d2dd 20170412 para with aspiration %!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