Error is printed but not returned

[meilof]

I used the new version and tested again the case that I mentioned in my first comment. now during verification this is printed :
"Reading QAP vk: pysnark_vk_main
Verifying main (pysnark_vk_main) *** divisibility check failed
1"
isn't it supposed to print 0 (false) when the prover has executed a different code and as a result ,provided wrong proof and value?
why it is still printing 1(true)?

Originally posted by @Mahsa-Bastankhah in #4 (comment)

[meilof]

I agree this is a bit confusing. Would be better to also return an error value in this case. This can be easily fixed.