Add network export to CI

vondele · vondele · commit b7ee7290b552 · 2023-06-12T20:35:44.000+02:00
verify the network written by export_net matches the original closes #4613 No functional change
diff --git a/tests/instrumented.sh b/tests/instrumented.sh
@@ -70,14 +70,20 @@ for args in "eval" \
             "go depth 10" \
             "go movetime 1000" \
             "go wtime 8000 btime 8000 winc 500 binc 500" \
-            "bench 128 $threads 8 default depth"
+            "bench 128 $threads 8 default depth" \
+            "export_net verify.nnue"
 do
 
    echo "$prefix $exeprefix ./stockfish $args $postfix"
    eval "$prefix $exeprefix ./stockfish $args $postfix"
 
 done
 
+# verify the generated net equals the base net
+network=`./stockfish uci | grep 'option name EvalFile type string default' | awk '{print $NF}'`
+echo "Comparing $network to the written verify.nnue"
+diff $network verify.nnue
+
 # more general testing, following an uci protocol exchange
 cat << EOF > game.exp
  set timeout 240
