Loading README.md +3 −2 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ stack build Alternatively, you can directly download the [latest binaries for linux](https://gitlab.cs.fau.de/i8/copar/-/jobs/artifacts/master/download?job=test). linux](https://git8.cs.fau.de/software/copar/-/jobs/artifacts/master/download?job=test). Enabling the flag `benchmark-generators` also build generators and helper executables used to create various benchmark suites that have been used in Loading @@ -20,7 +20,8 @@ To partition states of a coalgebra specification, use the command Examples for input files are in the directory `examples/`. Command line syntax is described in `stack exec -- copar --help`. Command line syntax is described in `copar --help` and the input file syntax in `copar help`. ## Benchmarks Loading Loading
README.md +3 −2 Original line number Diff line number Diff line Loading @@ -5,7 +5,7 @@ stack build Alternatively, you can directly download the [latest binaries for linux](https://gitlab.cs.fau.de/i8/copar/-/jobs/artifacts/master/download?job=test). linux](https://git8.cs.fau.de/software/copar/-/jobs/artifacts/master/download?job=test). Enabling the flag `benchmark-generators` also build generators and helper executables used to create various benchmark suites that have been used in Loading @@ -20,7 +20,8 @@ To partition states of a coalgebra specification, use the command Examples for input files are in the directory `examples/`. Command line syntax is described in `stack exec -- copar --help`. Command line syntax is described in `copar --help` and the input file syntax in `copar help`. ## Benchmarks Loading
