cs-pub-ro / PP-laboratoare

Laboratoare PP la seriile CA-CB-CC

Home Page:https://ocw.cs.pub.ro/courses/pp

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Prolog lab checker showing "solved exercise" message even though not solved

florinrm opened this issue · comments

Steps to reproduce:

  1. go to the solution file (lab 10 for example)
  2. go to a random exercise (it doesn't matter which one)
  3. set the exercise implementation with the default one from skeleton
  4. run the checker, which will show both Nerezolvat. and Exercițiul X rezolvat corect!

Solved by removal of the message.