search

runtimeverification / kontrol

BSD 3-Clause "New" or "Revised" License
55 stars 9 forks source link

XML report: include information about nodes, branches in proofs #860

Open palinatolmach opened 1 month ago

palinatolmach commented 1 month ago

Follow up to https://github.com/runtimeverification/kontrol/pull/859.

As suggested by @lisandrasilva, we should add the info about the proof (nodes, branches, etc) to the XML report.