Possible improvements of the evaluator feedback
-
totality check could be able to return a set of states which are missing some transitions -
we could decide whether the difference between student's solution and teacher's solution is finite or infinite
To be done after the main functionality of the evalutors is done.
Edited by Vladimír Štill