quickcheck-dynamic icon indicating copy to clipboard operation
quickcheck-dynamic copied to clipboard

Published 20 hours ago • verified publisher icon input-output-hk

Define phases of execution

Open jasagredo opened this issue 1 year ago • 0 comments
trafficstars

Execution is now divided in two phases Symbolic and Dynamic. The conversion between both is done via toDynAction automatically once that one is provided.

Checklist:

  • [ ] Check source-code formatting is consistent

jasagredo avatar Apr 23 '24 09:04 jasagredo