what4-1.3: test/responses/minisat_verbose_success.strict.exp

Left Parse exception: Failed reading: empty