CBMC additional profiling info: Extend solver hardness to track clauses mapped to an instruction#5480

Merged

danielsn merged 8 commits intodiffblue:developfrom

natasha-jeppu:clause-map

Nov 19, 2020

Commits on Nov 18, 2020

Extend sat_hardnesst struct to keep track of the actual clauses, not just number of clauses

Natasha Yogananda Jeppu
authored and
danielsn
committed
Add utility to collect clauses and display the clause set in json output for write-solver-stats-to

Natasha Yogananda Jeppu
authored and
danielsn
committed
Add utility to collect clauses and display the clause set in json output for write-solver-stats-to

Natasha Yogananda Jeppu
authored and
danielsn
committed
Store clause counter value from satcheck_minisat instead of storing the clause itself

Natasha Yogananda Jeppu
authored and
danielsn
committed
Store clause counter value from satcheck_minisat instead of storing the clause itself

Natasha Yogananda Jeppu
authored and
danielsn
committed
Store clause counter value from satcheck_minisat instead of storing the clause itself

Natasha Yogananda Jeppu
authored and
danielsn
committed
Store clause counter value from satcheck_minisat instead of storing the clause itself

Natasha Yogananda Jeppu
authored and
danielsn
committed

Commits on Nov 19, 2020

Store clause counter value from satcheck_minisat instead of storing the clause itself

Natasha Yogananda Jeppu
authored and
danielsn
committed