]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - tests/PROBLEMI
projects / pkg-cerco / acc-trusted.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Imported Upstream version 0.1
[pkg-cerco/acc-trusted.git] / tests / PROBLEMI
1 1. ok
2 2. ok
3 3. ok 
4 4. ok
5 5. ok
6 6. ok
7 7. ok
8 8. ok
9 bubble_sort.c: ok
Unnamed repository; edit this file 'description' to name the repository.