Giters
metaborg
/
spt
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
Watchers:
14
Issues:
4
Forks:
8
metaborg/spt Issues
Support specification of multiple files in a single SPT test case
Updated
2 years ago
Comments count
2
Test description does not parse when it contains a single open square bracket
Updated
3 years ago
Confusing string escape semantics
Closed
3 years ago
Comments count
1
Support run strategy with term args to aterm
Updated
3 years ago