Inicio Explorar Ayuda
Iniciar sesión
taddeus
/
civicaml
1
0
Fork 0
Archivos Incidencias 0 Pull Requests 0 Wiki
Árbol: c373abd89b
Ramas Etiquetas
civicaml
/
test
/
nested_funs
/
functional
Taddeus Kroes 65edd7a998 Removed some faulty comments from the testsuite hace 12 años
..
euclid.cvc 7dd8ec8281 Added new testsuite hace 12 años
euclid.out 580ae7e235 Added output files for testsuite hace 12 años
nested_funs.cvc 7dd8ec8281 Added new testsuite hace 12 años
nested_funs.out 580ae7e235 Added output files for testsuite hace 12 años
scopes.cvc 65edd7a998 Removed some faulty comments from the testsuite hace 12 años
scopes.out b3d574c61f Commented failing test hace 12 años