I forgot to fix this in the testing script

jsiek / deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

59 stars 3 forks source link

I forgot to fix this in the testing script #30

Closed Temperz87 closed 2 weeks ago

Temperz87 commented 2 weeks ago

The testing script now detects python correctly Whoopsies!!!!!!

jsiek commented 2 weeks ago

what is actual_error.tmp for?

Temperz87 commented 2 weeks ago

Oh no that should've also been deleted. Basically the testing script dumps the output of running deduce into a file then uses diff to check the error messages, however if you ctrl+c the program sometimes that file doesn't get deleted. It should be fine to keep as it'll be gone the next time the tester gets run