This repository has been archived on 2023-11-14. You can view files and clone it, but cannot push or open issues/pull-requests.
vogue/test/counter.v

10 lines
90 B
Coq
Raw Normal View History

member count;
increment() {
count ++;
2021-05-21 23:31:35 -04:00
sync();
}
getCount() {
return count;
}