search

JuliaReach / ARCH2020_NLN_RE

Repeatability Evaluation package for the ARCH2020 NLN Competition
3 stars 0 forks source link

Create batch script #13

Closed mforets closed 4 years ago

mforets commented 4 years ago

A bash script called measure_all should produce a file called results.csv in a result/ subdirectory relative to your tool directory (i.e. the directory where the Dockerfile is uploaded).

mforets commented 4 years ago

... is this batch script system-dependent?