From 18988711111bd57900567b032aead1c17997cb7f Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 24 Jul 2020 17:40:29 +0200 Subject: even smaller --- test/monniaux/picosat-965/tiny.dat | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 test/monniaux/picosat-965/tiny.dat (limited to 'test/monniaux/picosat-965/tiny.dat') diff --git a/test/monniaux/picosat-965/tiny.dat b/test/monniaux/picosat-965/tiny.dat new file mode 100644 index 00000000..030df0e5 --- /dev/null +++ b/test/monniaux/picosat-965/tiny.dat @@ -0,0 +1,2 @@ +p cnf 1 1 +0 -- cgit From cffd805ea0c06710605565fae3d0e885a7943f74 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 24 Jul 2020 17:41:31 +0200 Subject: also crashes with 0 variables --- test/monniaux/picosat-965/tiny.dat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/monniaux/picosat-965/tiny.dat') diff --git a/test/monniaux/picosat-965/tiny.dat b/test/monniaux/picosat-965/tiny.dat index 030df0e5..1d89b303 100644 --- a/test/monniaux/picosat-965/tiny.dat +++ b/test/monniaux/picosat-965/tiny.dat @@ -1,2 +1,2 @@ -p cnf 1 1 +p cnf 0 1 0 -- cgit