Skip to content
GitLab
Explore
Sign in
Register
apk-tools
test
pinning1.test
Find file
Blame
History
Permalink
solver: rewrite as deductive solver -- pinning support
· e7fd4d03
Timo Teräs
authored
Jun 12, 2013
Fix also pinning test cases to be more sane.
e7fd4d03