]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - tests/test3.c
Control and copyright added.
[pkg-cerco/acc-trusted.git] / tests / test3.c
1 char treshold = 7;
2
3 int main() {
4         return treshold;
5 }