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