diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 17:41:31 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 17:41:31 +0200 |
| commit | cffd805ea0c06710605565fae3d0e885a7943f74 (patch) | |
| tree | 38bee08a3716f8b1e11bde6d28a286876c0bbe11 /test | |
| parent | 18988711111bd57900567b032aead1c17997cb7f (diff) | |
| download | compcert-kvx-cffd805ea0c06710605565fae3d0e885a7943f74.tar.gz compcert-kvx-cffd805ea0c06710605565fae3d0e885a7943f74.zip | |
also crashes with 0 variables
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/picosat-965/tiny.dat | 2 |
1 files changed, 1 insertions, 1 deletions
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 |