Skip to content

prolog-tests: erste woche

Lia Lenckowski requested to merge stu235417/deklprog-tests:main into main

Hab mal tests für die erste Woche gemacht; hier eine hoffentlich vollständige Liste an caveats:

  • Das sandboxing ist nicht perfekt. Ich begrenze rekursionstiefe & benutze safe_goal/2, aber das verhindert einiges I/O wie z.B. writeln nicht. Zeitbegrenzungen muss man glaube ich außerhalb von prolog implementieren, damit die verlässlich sind.
  • Da ich das tooling von Melf & moodle nicht gut kenne, hab ich zum Ausführen (& als doku wie man das tut) einfach nur ein kleines run-script mit reingetan.
  • Die Tests wollen die Abgaben (ähnlich wie die Haskell-Tests) ohne den existierenden Code aus der Aufgabe haben. Damit sind die Tests nur bedingt für das aktuelle Abgabeformat benutzbar.
  • Ich weiss nicht wirklich, wie sich fortprog-swipl von vanilla-swipl unterscheidet. Die Tests hab ich erstmal mit normalem swipl getestet.
  • Bei der Vorstands-Aufgabe ist nicht definiert, wie die Signatur vom Prädikat, was die Aufgabe löst, sein soll. Hab hier mal einen Test geschrieben der etwas ähnliches wie die Musterlösung und das was ich bei den meisten Abgaben gesehen habt akzeptiert. Müsste man dann nächstes Jahr in die Aufgabe schreiben.

Ich hoffe dass irgendwas von dem Kram nächstes Jahr helfen kann & schöne Feiertage noch :)

Merge request reports