From d073f1901e1ddf012bc2ac607e230d8156eeefe1 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Fri, 24 Jul 2020 17:36:56 +0200 Subject: smaller example --- test/monniaux/picosat-965/small.dat | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/monniaux') diff --git a/test/monniaux/picosat-965/small.dat b/test/monniaux/picosat-965/small.dat index ff3d7081..accb9054 100644 --- a/test/monniaux/picosat-965/small.dat +++ b/test/monniaux/picosat-965/small.dat @@ -1,2 +1,2 @@ -p cnf 2 1 -1 2 0 +p cnf 1 1 +1 0 -- cgit