strategies are now in the <k> cell. goals in <claim>#68

Merged

h0nzZik merged 7 commits into

fix-claim-vs-strategy-cell

May 12, 2020

Commits on May 8, 2020

build: Generate tests for t/*.smt and t/*.kore (these are not part of the smoke tests however)
nishantjr
committed

Commits on May 9, 2020

build: Replace ls_nonrec_entail_ls_{07 => 05}.sb.smt2 and add kore smoke test
nishantjr
committed
configuration: strategies are now in the <k> cell. goals in <claim>
nishantjr
committed
build: Work around different extensions being used by kore and smt tests
nishantjr
committed

Commits on May 11, 2020

Commits on May 12, 2020

.expected
h0nzZik
committed