Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
tests
core
acc.test
Find file
Blame
History
Permalink
unit_propagation: Add a test with multiple unit clauses
· 142f1afa
Florian Renkin
authored
Apr 17, 2020
* tests/core/acc.cc, tests/core/acc.test: here.
142f1afa