search

kframework / matching-logic-prover

15 stars 4 forks source link

isFOLPattern #41

Open h0nzZik opened 4 years ago

h0nzZik commented 4 years ago

The SMT strategies should not use isPredicatePattern, but should use isFOLPattern (that we need to create).