Closed jcklie closed 10 years ago
Use the setlx files from
http://wwwlehre.dhbw-stuttgart.de/~stroetma/Logic/SetlX/
and write a nosetest for it. Idea is to dynamically generate a function for every code file to achieve best result presentation.
Works now
Use the setlx files from
http://wwwlehre.dhbw-stuttgart.de/~stroetma/Logic/SetlX/
and write a nosetest for it. Idea is to dynamically generate a function for every code file to achieve best result presentation.