search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

[IGNORE] Bisecting nat/debug-wpst #263

Closed NatKarmios closed 11 months ago

NatKarmios commented 11 months ago

Stepping through the commits of #261 to find where Gillian-C tests start triggering Z3 timeouts. Don't merge this!