Skip to content

Commit

Permalink
test: minisat segfault test
Browse files Browse the repository at this point in the history 
include a test that would have caught #74
  • Loading branch information
@chrjabs
chrjabs committed Apr 2, 2024
1 parent ad4f6d7 commit 24ad805
Show file tree
Hide file tree
Showing 2 changed files with 473 additions and 0 deletions.
Loading

0 comments on commit 24ad805

Please sign in to comment.