summaryrefslogtreecommitdiff
path: root/tests/sat/counters.ys
blob: 330895f82ef48d6a26a879a508b7cacf4d62ec7b (plain)
1
2
3
4
5
6
7
8
9
10