Skip to content

Commit

Permalink
Add regression test with two times the same property
Browse files Browse the repository at this point in the history 
This test case contains two times the property `AG !a1306`. Without property
literal freezing, this leads to an assertion violation because the corresponding
literal is eliminated by MiniSAT.
  • Loading branch information
@mgudemann
mgudemann committed Sep 22, 2023
1 parent b33f223 commit bff94cc
Show file tree
Hide file tree
Showing 2 changed files with 821 additions and 0 deletions.
Loading

0 comments on commit bff94cc

Please sign in to comment.