diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 17:36:56 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 17:36:56 +0200 |
commit | d073f1901e1ddf012bc2ac607e230d8156eeefe1 (patch) | |
tree | 4174eadb2dfd6e2abbe2e7703bda8091b4421100 /test/monniaux/picosat-965 | |
parent | 1e93ef5453d4f9a6c3108b1d43b3b9f3f4fb9d13 (diff) | |
download | compcert-kvx-d073f1901e1ddf012bc2ac607e230d8156eeefe1.tar.gz compcert-kvx-d073f1901e1ddf012bc2ac607e230d8156eeefe1.zip |
smaller example
Diffstat (limited to 'test/monniaux/picosat-965')
-rw-r--r-- | test/monniaux/picosat-965/small.dat | 4 |
1 files changed, 2 insertions, 2 deletions
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 |