From 7812684339d03f6993882358b0045c1bc2d5032c Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 13 Jun 2024 21:08:38 +0200 Subject: Added "dryrun" for gendata --- src/cube_public.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'src/cube_public.h') diff --git a/src/cube_public.h b/src/cube_public.h index 1b0cc14..01b6dac 100644 --- a/src/cube_public.h +++ b/src/cube_public.h @@ -1,3 +1,5 @@ +#include "cube.h" + int write_result(cube_t, char [static 22]); int @@ -126,6 +128,16 @@ nissy_writecube( return nissy_convertcube("B32", format, cube, result); } +int64_t +nissy_datasize( + const char *solver, + const char *options +) +{ + /* gendata() handles a NULL *data as a "dryrun" request */ + return nissy_gendata(solver, options, NULL); +} + int64_t nissy_gendata( const char *solver, -- cgit v1.3