search

kframework / matching-logic-prover

15 stars 4 forks source link

Preparation for Hyperproperties - part 2 (strategies) #66

Closed h0nzZik closed 4 years ago

h0nzZik commented 4 years ago

I would also like to run ./t/propagate-* tests in CI. @nishantjr any idea how to do that?