diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 15:01:39 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 15:01:39 +0200 |
commit | 1e93ef5453d4f9a6c3108b1d43b3b9f3f4fb9d13 (patch) | |
tree | 34022b5cf9b0da86e4303a42e5d9f0755d952999 /test | |
parent | 9a8fcdd29d763d2b5650166ddd5b359a8bfed373 (diff) | |
download | compcert-kvx-1e93ef5453d4f9a6c3108b1d43b3b9f3f4fb9d13.tar.gz compcert-kvx-1e93ef5453d4f9a6c3108b1d43b3b9f3f4fb9d13.zip |
Coq 8.11.2
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/picosat-965/small.dat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/small.dat b/test/monniaux/picosat-965/small.dat new file mode 100644 index 00000000..ff3d7081 --- /dev/null +++ b/test/monniaux/picosat-965/small.dat @@ -0,0 +1,2 @@ +p cnf 2 1 +1 2 0 |