use assert_satisfied_raw in assert_satisfied_full e2e tests#649
Open
zemse wants to merge 1 commit intomasterfrom z/mock-prover
+363-150
assert_satisfied_raw in assert_satisfied_full e2e tests#649