Commit a25907b

committed

Move TransitionRuleTemplate into Goal class

1 parent d24d986 commit a25907bCopy full SHA for a25907b

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)