haga/run

20 lines
464 B
Plaintext
Raw Permalink Normal View History

#! /usr/bin/env nix-shell
set exe (fd --type f '^haga$' dist-newstyle/)
"$exe" --iterations=10000 $argv | \
2020-04-27 15:37:41 +02:00
# dist-newstyle/build/x86_64-linux/ghc-8.6.5/ga-0.1.0.0/x/ga/build/ga/ga $argv | \
feedgnuplot \
--terminal "x11 background '#ffffff'" \
--domain \
--stream \
--lines \
--xmax 12000 \
--xmin 0 \
--xlabel "step" \
--ylabel "cost" \
--extracmd "set style line 5 lt rgb 'red' lw 2 pt 6" \
--style 0 "ls 5"