Commit 2abc638

committed

Move TransitionRuleTemplate into Goal class

1 parent 454bc12 commit 2abc638Copy full SHA for 2abc638

2 files changed

+131

-181

lines changed

kore
- src/Kore/Strategies
  - Goal.hs
- test/Test/Kore/Strategies/AllPath
  - AllPath.hs

+131

-181

lines changed

Comments

(0)