Enable inline K definitions in tests - Githubissues

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

Enable inline K definitions in tests #1050

Closed tothtamas28 closed 6 months ago

tothtamas28 commented 7 months ago

Add parameter definition to Kompiler.__call__
Add attribute KOMPILE_DEFINITION to KompiledTest
Inline small, single-use definitions
Remove unused definitions
Move k-files into test-data
Fix (most) kompilation warnings